慢慢啃
发表于 2025-3-23 12:58:32
Alternating refinement relations,nents. Unlike in labeled transition systems, where each transition corresponds to a possible step of the system (which may involve some or all components), in alternating transition systems, each transition corresponds to a possible move in a game between the components. In this paper, we study refi
Clinch
发表于 2025-3-23 16:11:55
Possible worlds process algebras,his view of non-determinism as underspecification, nodeterministic processes are specifications, and the possible worlds represent the model space and thus the set of possible implementations. Then, refinement is inclusion of sets of possible worlds and can be used for stepwise specifications. This
碎石
发表于 2025-3-23 20:59:08
Automata and coinduction (an exercise in coalgebra),) coalgebra. This leads to a transparent and uniform presentation of automata theory and yields some new insights, amongst which coinduction proof methods for language equality and language inclusion. At the same time, the present treatment of automata theory may serve as an introduction to coalgebr
有害处
发表于 2025-3-23 23:31:11
Axioms for real-time logics, and the Metric Interval Temporal Logic with past (MITL). The completeness proof consists of an effective proof building procedure for ECL. From this result we obtain a complete axiomatization of MITL by providing axioms translating MITL formulae into ECL formulae, the two logics being equally expre
FIR
发表于 2025-3-24 03:34:02
http://reply.papertrans.cn/23/2205/220461/220461_15.png
Lipoprotein
发表于 2025-3-24 08:27:39
http://reply.papertrans.cn/23/2205/220461/220461_16.png
Efflorescent
发表于 2025-3-24 10:46:04
From rewrite to bisimulation congruences,ongruences is fundamental; these can often be given tractable definitions or characterisations using a labelled transition semantics. This paper considers calculi with arbitrary reduction semantics of three simple classes, firstly ground term rewriting, then left-linear term rewriting, and then a cl
bourgeois
发表于 2025-3-24 16:30:39
http://reply.papertrans.cn/23/2205/220461/220461_18.png
invulnerable
发表于 2025-3-24 22:15:01
Conference proceedings 1998r 1998..The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid syst
直言不讳
发表于 2025-3-25 00:47:57
Conference proceedings 1998mong the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..