Rule formats for determinism and idempotence

DOI10.1016/J.SCICO.2010.04.002MaRDI QIDQ433348zbMATHOpenAlexWikidataFDO

Authors Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammad Mousavi, Michel A. Reniers

Publication date 13 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.04.002

zbMATH Keywords

determinismidempotencestructural operational semanticsrule formats

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Rule formats for determinism and idempotence
• Rule formats for bounded nondeterminism in structural operational semantics
• SOS rule formats for idempotent terms and idempotent unary operators
• Rule formats for distributivity
• SOS formats and meta-theory: 20 years after

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4059362 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• A Rule Format for Associativity
• A rule format for unit elements
• A structural approach to operational semantics
• A syntactic commutativity format for SOS
• Automata, Languages and Programming
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• Foundations of Software Science and Computational Structures
• Process Algebra
• Process algebra for hybrid systems
• Process algebra for synchronous communication
• Process algebra with timing
• Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
• Rule formats for compositional non-interference properties
• Rule formats for determinism and idempotence
• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• Structural operational semantics and bounded nondeterminism
• Structural operational semantics with first-order logic
• Structural operational semantics.
• Structured operational semantics and bisimulation as a congruence
• The algebra of timed processes, ATP: Theory and application
• Transition system specifications with negative premises
• Turning SOS rules into equations

Cited in

(5)

• Rule formats for determinism and idempotence
• Rule formats for nominal process calculi
• Event algebra for transition systems composition application to timed automata
• SOS rule formats for idempotent terms and idempotent unary operators
• SOS rule formats for idempotent terms and idempotent unary operators

This page was built for publication: Rule formats for determinism and idempotence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433348)