SOS formats and meta-theory: 20 years after
type: Item
instance of: scholarly article
title: SOS formats and meta-theory: 20 years after
zbMATH Open document ID: 1111.68069
author: Mohammadreza Mousavi
author: Michel A. Reniers
author: Jan Friso Groote
published in: Theoretical Computer Science
publication date: 2007-04-19T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5144952
zbMATH Keywords: formal semantics
zbMATH Keywords: structural operational semantics
zbMATH Keywords: rule formats
zbMATH Keywords: framework
describes a project that uses: LARCH
describes a project that uses: Centaur
describes a project that uses: Maude
describes a project that uses: qGCL
describes a project that uses: Miranda
describes a project that uses: LETOS
MaRDI profile type: Publication
Wikidata QID: Q57745717
full work available at URL: j.tcs.2006.12.019
OpenAlex ID: W1972475472
cites work: Turning SOS rules into equations
cites work: CPO models for compact GSOS languages
cites work: Structural operational semantics.
cites work: Q3829081
cites work: Real time process algebra
cites work: Q4727412
cites work: Q3727367
cites work: Q3776606
cites work: Process algebra with timing
cites work: Axiomatizing GSOS with termination
cites work: Process Algebra
cites work: A hierarchy of probabilistic system types
cites work: GSOS for probabilistic transition systems (extended abstract)
cites work: Process algebra for synchronous communication
cites work: The chemical abstract machine
cites work: Structural operational semantics for weak bisimulations
cites work: Precongruence formats for decorated trace semantics
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: Mapping Modular SOS to Rewriting Logic
cites work: Q2767190
cites work: Q4447224
cites work: Compositional SOS and beyond: A coalgebraic view of open systems
cites work: Formal molecular biology
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: A causal semantics for CCS via rewriting logic
cites work: Q4490742
cites work: Rooted branching bisimulation as a congruence
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: Compositionality of Hennessy-Milner logic by structural operational semantics
cites work: Divide and congruence applied to \(\eta\)-bisimulation
cites work: A conservative look at operational semantics with variable binding
cites work: Structural operational semantics and bounded nondeterminism
cites work: A format for semantic equivalence comparison
cites work: Q3753475
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: The meaning of negative premises in transition system specifications. II
cites work: On cool congruence formats for weak bisimulations
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Q4282672
cites work: Q3907039
cites work: Algebraic laws for nondeterminism and concurrency
cites work: The power of the future perfect in program logics
cites work: Q3777424
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Q3805933
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: Q4737185
cites work: From bialgebraic semantics to congruence formats
cites work: Foundations of Software Science and Computational Structures
cites work: Compositionality Through an Operational Semantics of Contexts
cites work: Bisimulation through probabilistic testing
cites work: Handbook of philosophical logic. Vol. 9

SOS formats and meta-theory: 20 years after (cites work)
cites work: Conditional rewriting logic as a unified model of concurrency

SOS formats and meta-theory: 20 years after (cites work)
cites work: Algebraic Methodology and Software Technology

SOS formats and meta-theory: 20 years after (cites work)
cites work: Variable binding operators in transition system specifications

SOS formats and meta-theory: 20 years after (cites work)
cites work: An alternative formulation of operational conservativity with binding terms.

SOS formats and meta-theory: 20 years after (cites work)
cites work: A proof theory for generic judgments

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3929062

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3992568

SOS formats and meta-theory: 20 years after (cites work)
cites work: A calculus of mobile processes. I

SOS formats and meta-theory: 20 years after (cites work)
cites work: A calculus of mobile processes. II

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q4818727

SOS formats and meta-theory: 20 years after (cites work)
cites work: Modular structural operational semantics

SOS formats and meta-theory: 20 years after (cites work)
cites work: CONCUR 2005 – Concurrency Theory

SOS formats and meta-theory: 20 years after (cites work)
cites work: Foundations of Software Science and Computational Structures

SOS formats and meta-theory: 20 years after (cites work)
cites work: Automata, Languages and Programming

SOS formats and meta-theory: 20 years after (cites work)
cites work: Prototyping SOS meta-theory in Maude

SOS formats and meta-theory: 20 years after (cites work)
cites work: On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)

SOS formats and meta-theory: 20 years after (cites work)
cites work: Notions of bisimulation and congruence formats for SOS with data

SOS formats and meta-theory: 20 years after (cites work)
cites work: A syntactic commutativity format for SOS

SOS formats and meta-theory: 20 years after (cites work)
cites work: Testing equivalences for processes

SOS formats and meta-theory: 20 years after (cites work)
cites work: The algebra of timed processes, ATP: Theory and application

SOS formats and meta-theory: 20 years after (cites work)
cites work: Three Partition Refinement Algorithms

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3907077

SOS formats and meta-theory: 20 years after (cites work)
cites work: Foundations of Software Science and Computation Structures

SOS formats and meta-theory: 20 years after (cites work)
cites work: A structural approach to operational semantics

SOS formats and meta-theory: 20 years after (cites work)
cites work: The origins of structural operational semantics

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3486858

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3148335

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q2721095

SOS formats and meta-theory: 20 years after (cites work)
cites work: Bisimulation for higher-order process calculi

SOS formats and meta-theory: 20 years after (cites work)
cites work: The \(\pi\)-calculus: A theory of mobile processes

SOS formats and meta-theory: 20 years after (cites work)
cites work: Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS

SOS formats and meta-theory: 20 years after (cites work)
cites work: Validation of Stochastic Systems

SOS formats and meta-theory: 20 years after (cites work)
cites work: A theory of higher order communicating systems

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q4417889

SOS formats and meta-theory: 20 years after (cites work)
cites work: Rule formats for compositional non-interference properties

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q3721784

SOS formats and meta-theory: 20 years after (cites work)
cites work: Finite axiom systems for testing preorder and De Simone process languages

SOS formats and meta-theory: 20 years after (cites work)
cites work: CONCUR 2003 - Concurrency Theory

SOS formats and meta-theory: 20 years after (cites work)
cites work: Ordered SOS process languages for branching and eager bisimulations

SOS formats and meta-theory: 20 years after (cites work)
cites work: Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q4422086

SOS formats and meta-theory: 20 years after (cites work)
cites work: Two case studies of semantics execution in Maude: CCS and LOTOS

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q4847024

SOS formats and meta-theory: 20 years after (cites work)
cites work: Q4940887

SOS formats and meta-theory: 20 years after (cites work)
cites work: A congruence format for name-passing calculi

SOS formats and meta-theory: 20 years after (DOI)
DOI: 10.1016/J.TCS.2006.12.019