Rule formats for distributivity

Authors:
Luca Aceto;Matteo Cimini;Anna Ingolfsdottir;Mohammad Reza Mousavi;Michel A. Reniers
Affiliations:
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland;ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland;ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland;Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Year:
2011

Citing 16
Cited 1

Communicating sequential processes

Communicating sequential processes
Well-founded semantics coincides with three-valued stable semantics

Fundamenta Informaticae
Turning SOS rules into equations

Information and Computation
The algebra of timed processes, ATP: theory and application

Information and Computation
Communication and Concurrency

Communication and Concurrency
A tutorial on LOTOS

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Delayed choice: an operator for joining Message Sequence Charts

Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
The Importance of the Left Merge Operator in Process Algebras

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
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
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
Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes
On Rule Formats for Zero and Unit Elements

Electronic Notes in Theoretical Computer Science (ENTCS)
Rule formats for determinism and idempotence

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Finite equational bases in process algebra: results and open questions

Processes, Terms and Cycles

Repairing time-determinism in the process algebra for hybrid systems ACPhssrt

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.