On Rule Formats for Zero and Unit Elements

Authors:
Luca Aceto;Matteo Cimini;Anna Ingolfsdottir;Mohammad Reza Mousavi;Michel A. Reniers
Affiliations:
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland;ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland;ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland;Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands;Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 12
Cited 2

Algebraic laws for nondeterminism and concurrency

Journal of the ACM (JACM)
Bisimulation can't be traced

Journal of the ACM (JACM)
Communicating sequential processes

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
Process Algebra with Timing

Process Algebra with Timing
Concurrency and Automata on Infinite Sequences

Proceedings of the 5th GI-Conference on Theoretical Computer Science
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
Rule formats for determinism and idempotence

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Rule formats for distributivity

LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Rule formats for distributivity

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.