The following pages link to (Q4847024):
Displaying 33 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Language preorder as a precongruence (Q1575654) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Priority and abstraction in process algebra (Q2381506) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- A Congruence Rule Format with Universal Quantification (Q2871833) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
