Rule formats for determinism and idempotence

DOI10.1016/J.SCICO.2010.04.002zbMATH Open1243.68205OpenAlexW2110138205WikidataQ57745567 ScholiaQ57745567MaRDI QIDQ433348FDOQ433348

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

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Event algebra for transition systems composition application to timed automata
• 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)