Structural operational semantics.
From MaRDI portal
congruence formatsdenotational semanticsmany-sorted higher-order extensionsprocess algebrastructural operational semanticssurveytransition system specification
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(only showing first 100 items - show all)- Semantics and expressiveness of ordered SOS
- Generating priority rewrite systems for OSOS process languages
- A congruence rule format for name-passing process calculi
- Bialgebraic methods and modal logic in structural operational semantics
- A conservative look at operational semantics with variable binding
- An alternative formulation of operational conservativity with binding terms.
- SOS specifications for uniformly continuous operators
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
- Rule formats for distributivity
- CCS with Hennessy's merge has no finite-equational axiomatization
- A brief history of process algebra
- Process algebra for hybrid systems
- A structural operational semantics for an Edison like language. II
- A comparison of Statecharts step semantics
- The origins of structural operational semantics
- Evolution of rule-based programs
- Modular structural operational semantics
- Adding recursive constructs to bialgebraic semantics
- Axiomatizing GSOS with termination
- Rule formats for compositional non-interference properties
- Probabilistic divide \& congruence: branching bisimilarity
- Encoding safety in \(\mathrm{CLL}_R\)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations
- On the axiomatisability of priority. III: Priority strikes again
- Towards general axiomatizations for bisimilarity and trace semantics
- Distributive laws for monotone specifications
- Dynamic structural operational semantics
- On constructibility and unconstructibility of LTS operators from other LTS operators
- Compositional verification of asynchronous concurrent systems using CADP
- Syntax and consistent equation semantics of hybrid Chi
- A compositional coalgebraic model of fusion calculus
- A unified rule format for bounded nondeterminism in SOS with terms as labels
- Depletable channels: dynamics, behaviour, and efficiency in network design
- Logical characterisations, rule formats and compositionality for input-output conformance simulation
- SOS rule formats for idempotent terms and idempotent unary operators
- Thread algebra for strategic interleaving
- Denotational semantics for thread algebra
- Notions of bisimulation and congruence formats for SOS with data
- Splitting bisimulations and retrospective conditions
- A general SOS theory for the specification of probabilistic transition systems
- Modelling and analysing neural networks using a hybrid process algebra
- Rational operational models
- Implicit propagation in structural operational semantics
- Structural operational semantics with first-order logic
- Well-behaved translations between structural operational semantics
- Towards a theory of mathematical operational semantics
- Bialgebraic methods in structural operational semantics (invited talk)
- On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)
- A congruence rule format with universal quantification
- Structural operational semantics and modal logic, revisited
- A non-SOS operational semantics for a process algebra
- Weak bisimulation as a congruence in MSOS
- Logical characterisations and compositionality of input-output conformance simulation
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Stream differential equations: specification formats and solution methods
- Pragmatics of modular SOS
- On rule formats for zero and unit elements
- Nominal SOS
- Action Semantics in Retrospect
- Structural Operational Semantics for Weighted Transition Systems
- Structural congruence for bialgebraic semantics
- A pre-congruence format for XY-simulation
- A Context-Free Process as a Pushdown Automaton
- A Rule Format for Associativity
- A Notion of Glue Expressiveness for Component-Based Systems
- Transitions and trees. An introduction to structural operational semantics.
- Structural operational semantics for stochastic and weighted transition systems
- scientific article; zbMATH DE number 1192310 (Why is no real title available?)
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Rule formats for determinism and idempotence
- scientific article; zbMATH DE number 2104617 (Why is no real title available?)
- An automata-theoretic approach to the reachability analysis of RPPS systems
- Rule formats for nominal process calculi
- SOS rule formats for convex and abstract probabilistic bisimulations
- Distributive laws for monotone specifications
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
- Rule formats for nominal process calculi
- Some undecidable properties of SOS specifications
- Logics of temporal-epistemic actions
- A basic parallel process as a parallel pushdown automaton
- A general account of coinduction up-to
- Towards SOS meta-theory for language-based security
- Enhanced coalgebraic bisimulation
- SOS rule formats for zero and unit elements
- Foundations of Software Science and Computational Structures
- Variable binding operators in transition system specifications
- Bisimulation on speed: Worst-case efficiency
- Back to the format: a survey on SOS for probabilistic processes
- Better automata through process algebra
- Structural operational semantics through context-dependent behaviour
- Bialgebras for structural operational semantics: an introduction
- Fully Abstract and Robust Compilation
- Stateful structural operational semantics
- Are two binary operators necessary to finitely axiomatise parallel composition?
- Bialgebraic representation of coordination frameworks
- A lean-congruence format for ep-bisimilarity
- The way we were: structural operational semantics research in perspective
- Sequential value passing yields a Kleene theorem for processes
- Rooted branching bisimulation as a congruence for probabilistic transition systems
- From bisimulation to traces: the impact of parallel composition on finite bases
This page was built for publication: Structural operational semantics.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760240)
