Recommendations
Cites work
- scientific article; zbMATH DE number 1612487 (Why is no real title available?)
- scientific article; zbMATH DE number 1696903 (Why is no real title available?)
- scientific article; zbMATH DE number 1810494 (Why is no real title available?)
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- scientific article; zbMATH DE number 3951980 (Why is no real title available?)
- scientific article; zbMATH DE number 3958712 (Why is no real title available?)
- scientific article; zbMATH DE number 3990852 (Why is no real title available?)
- scientific article; zbMATH DE number 4037177 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 4074517 (Why is no real title available?)
- scientific article; zbMATH DE number 4104403 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 3744561 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 1956550 (Why is no real title available?)
- scientific article; zbMATH DE number 1973990 (Why is no real title available?)
- scientific article; zbMATH DE number 2043522 (Why is no real title available?)
- scientific article; zbMATH DE number 1479628 (Why is no real title available?)
- scientific article; zbMATH DE number 4001464 (Why is no real title available?)
- scientific article; zbMATH DE number 2086649 (Why is no real title available?)
- scientific article; zbMATH DE number 2104617 (Why is no real title available?)
- scientific article; zbMATH DE number 794263 (Why is no real title available?)
- scientific article; zbMATH DE number 1407502 (Why is no real title available?)
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- A causal semantics for CCS via rewriting logic
- A congruence format for name-passing calculi
- A conservative look at operational semantics with variable binding
- A format for semantic equivalence comparison
- A hierarchy of probabilistic system types
- A proof theory for generic judgments
- A structural approach to operational semantics
- A syntactic commutativity format for SOS
- A theory of higher order communicating systems
- Algebraic Methodology and Software Technology
- Algebraic laws for nondeterminism and concurrency
- An alternative formulation of operational conservativity with binding terms.
- Automata, Languages and Programming
- Axiomatizing GSOS with termination
- Bisimulation can't be traced
- Bisimulation for higher-order process calculi
- Bisimulation through probabilistic testing
- CCS expressions, finite state processes, and three problems of equivalence
- CONCUR 2005 – Concurrency Theory
- CPO models for compact GSOS languages
- Compositional SOS and beyond: A coalgebraic view of open systems
- Compositionality Through an Operational Semantics of Contexts
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Conditional rewriting logic as a unified model of concurrency
- Divide and congruence applied to \(\eta\)-bisimulation
- Finite axiom systems for testing preorder and De Simone process languages
- Formal molecular biology
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- From bialgebraic semantics to congruence formats
- GSOS for probabilistic transition systems (extended abstract)
- Handbook of philosophical logic. Vol. 9
- Higher-level synchronising devices in Meije-SCCS
- Mapping modular SOS to rewriting logic
- Modular structural operational semantics
- Notions of bisimulation and congruence formats for SOS with data
- On cool congruence formats for weak bisimulations
- On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference)
- Ordered SOS process languages for branching and eager bisimulations
- Precongruence formats for decorated trace semantics
- Priority rewrite systems for OSOS process languages.
- Process Algebra
- 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
- Prototyping SOS meta-theory in Maude
- Proving congruence of bisimulation in functional programming languages
- Reactive, generative, and stratified models of probabilistic processes
- Real time process algebra
- Rooted branching bisimulation as a congruence
- Rule formats for compositional non-interference properties
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
- Structural operational semantics and bounded nondeterminism
- Structural operational semantics for weak bisimulations
- Structural operational semantics.
- Structured operational semantics and bisimulation as a congruence
- Testing equivalences for processes
- The \(\pi\)-calculus: A theory of mobile processes
- The algebra of timed processes, ATP: Theory and application
- The chemical abstract machine
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- The meaning of negative premises in transition system specifications
- The meaning of negative premises in transition system specifications. II
- The origins of structural operational semantics
- The power of the future perfect in program logics
- Three Partition Refinement Algorithms
- Transition system specifications with negative premises
- Turning SOS rules into equations
- Two case studies of semantics execution in Maude: CCS and LOTOS
- Validation of Stochastic Systems
- Variable binding operators in transition system specifications
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
Cited in
(50)- A specification format for rooted branching bisimulation
- Probabilistic divide \& congruence: branching bisimilarity
- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity
- Modelling and analysing neural networks using a hybrid process algebra
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- Dynamic structural operational semantics
- Structural operational semantics through context-dependent behaviour
- Divergence and unique solution of equations
- A precongruence format for should testing preorder
- Rule formats for timed processes
- Back to the format: a survey on SOS for probabilistic processes
- SOS rule formats for zero and unit elements
- The origins of structural operational semantics
- scientific article; zbMATH DE number 7440178 (Why is no real title available?)
- SOS specifications for uniformly continuous operators
- Nominal SOS
- Rule formats for determinism and idempotence
- Rule formats for determinism and idempotence
- A syntactic commutativity format for SOS
- Semantics and expressiveness of ordered SOS
- Implicit propagation in structural operational semantics
- Rule formats for distributivity
- Weak bisimulation as a congruence in MSOS
- On rule formats for zero and unit elements
- Rule formats for nominal process calculi
- scientific article; zbMATH DE number 7356843 (Why is no real title available?)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- A rule format for unit elements
- scientific article; zbMATH DE number 2104617 (Why is no real title available?)
- Rule formats for bounded nondeterminism in structural operational semantics
- Structural operational semantics.
- SOS rule formats for idempotent terms and idempotent unary operators
- Rule formats for nominal process calculi
- Towards SOS meta-theory for language-based security
- A hierarchy of SOS rule formats
- A unified rule format for bounded nondeterminism in SOS with terms as labels
- A pre-congruence format for \(XY\)-simulation
- A Notion of Glue Expressiveness for Component-Based Systems
- Divergence and unique solution of equations
- Structural operational semantics with first-order logic
- SOS rule formats for convex and abstract probabilistic bisimulations
- Some undecidable properties of SOS specifications
- A congruence rule format with universal quantification
- A general SOS theory for the specification of probabilistic transition systems
- scientific article; zbMATH DE number 1192310 (Why is no real title available?)
- Pragmatics of modular SOS
- scientific article; zbMATH DE number 2086418 (Why is no real title available?)
- Stateful structural operational semantics
- A Rule Format for Associativity
This page was built for publication: SOS formats and meta-theory: 20 years after
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877025)
