Communicating sequential processes
Communicating sequential processes
Finite conjunctive nondeterminism
Concurrency and nets: advances in Petri nets
Determinism → (event structure isomorphism = step sequence equivalence)
Theoretical Computer Science - Special issue: Part B: Logic, semantics, and theory of programming
Process algebra
Structured operational semantics and bisimulation as a congruence
Information and Computation
Transition system specifications with negative premises
Theoretical Computer Science
Turning SOS rules into equations
Information and Computation
The algebra of timed processes, ATP: theory and application
Information and Computation
Communication and Concurrency
A congruence theorem for structured operational semantics with predicates and negative premises
Nordic Journal of Computing
Delayed choice: an operator for joining Message Sequence Charts
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
A Rule Format for Associativity
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Semantics and expressiveness of ordered SOS
Information and Computation
Structural Operational Semantics with First-Order Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rule Format for Unit Elements
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
A syntactic commutativity format for SOS
Information Processing Letters
Orthogonal extensions in structural operational semantics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Rule formats for determinism and idempotence
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Probabilistic congruence for semistochastic generative processes
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.