SOS formats and meta-theory: 20 years after
From MaRDI portal
Publication:877025
DOI10.1016/j.tcs.2006.12.019zbMath1111.68069OpenAlexW1972475472WikidataQ57745717 ScholiaQ57745717MaRDI QIDQ877025
Michel Reniers, Jan Friso Groote, Mohammadreza Mousavi
Publication date: 19 April 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.019
Related Items (33)
Modelling and analysing neural networks using a hybrid process algebra ⋮ Proving the validity of equations in GSOS languages using rule-matching bisimilarity ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ On Rule Formats for Zero and Unit Elements ⋮ Nominal SOS ⋮ A Pre-congruence Format for XY-simulation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A unified rule format for bounded nondeterminism in SOS with terms as labels ⋮ SOS specifications for uniformly continuous operators ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Rule formats for determinism and idempotence ⋮ Structural operational semantics through context-dependent behaviour ⋮ SOS rule formats for idempotent terms and idempotent unary operators ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Unnamed Item ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ A Rule Format for Associativity ⋮ A Notion of Glue Expressiveness for Component-Based Systems ⋮ Some undecidable properties of SOS specifications ⋮ Rule formats for distributivity ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ SOS rule formats for zero and unit elements ⋮ A precongruence format for should testing preorder ⋮ Unnamed Item ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Structural Operational Semantics with First-Order Logic ⋮ Coverability Synthesis in Parametric Petri Nets ⋮ Dynamic structural operational semantics ⋮ A Congruence Rule Format with Universal Quantification
Uses Software
Cites Work
- On cool congruence formats for weak bisimulations
- Structural operational semantics for weak bisimulations
- Bisimulation for higher-order process calculi
- Transition system specifications with negative premises
- A hierarchy of probabilistic system types
- Two case studies of semantics execution in Maude: CCS and LOTOS
- A syntactic commutativity format for SOS
- CCS expressions, finite state processes, and three problems of equivalence
- Higher-level synchronising devices in Meije-SCCS
- Bisimulation through probabilistic testing
- Conditional rewriting logic as a unified model of concurrency
- The chemical abstract machine
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- Structured operational semantics and bisimulation as a congruence
- A conservative look at operational semantics with variable binding
- Turning SOS rules into equations
- The algebra of timed processes, ATP: Theory and application
- A theory of higher order communicating systems
- Testing equivalences for processes
- An alternative formulation of operational conservativity with binding terms.
- Structural operational semantics and bounded nondeterminism
- Finite axiom systems for testing preorder and De Simone process languages
- Compositional SOS and beyond: A coalgebraic view of open systems
- A causal semantics for CCS via rewriting logic
- Process algebra with timing
- Ordered SOS process languages for branching and eager bisimulations
- The origins of structural operational semantics
- Modular structural operational semantics
- The meaning of negative premises in transition system specifications. II
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
- Axiomatizing GSOS with termination
- Rule formats for compositional non-interference properties
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- A structural approach to operational semantics
- Formal molecular biology
- A format for semantic equivalence comparison
- Handbook of philosophical logic. Vol. 9
- Reactive, generative, and stratified models of probabilistic processes
- Proving congruence of bisimulation in functional programming languages
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
- Rooted branching bisimulation as a congruence
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Notions of bisimulation and congruence formats for SOS with data
- CPO models for compact GSOS languages
- Real time process algebra
- GSOS for probabilistic transition systems
- On Well-Foundedness and Expressiveness of Promoted Tyft
- Mapping Modular SOS to Rewriting Logic
- The power of the future perfect in program logics
- Process algebra for synchronous communication
- Algebraic laws for nondeterminism and concurrency
- Three Partition Refinement Algorithms
- Compositionality Through an Operational Semantics of Contexts
- Process Algebra
- Bisimulation can't be traced
- The meaning of negative premises in transition system specifications
- Precongruence formats for decorated trace semantics
- A proof theory for generic judgments
- Algebraic Methodology and Software Technology
- Validation of Stochastic Systems
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- Automata, Languages and Programming
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures
- CONCUR 2003 - Concurrency Theory
- Variable binding operators in transition system specifications
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: SOS formats and meta-theory: 20 years after
