The following pages link to Structural operational semantics. (Q2760240):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Rational operational models (Q265819) (← links)
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Some undecidable properties of SOS specifications (Q511941) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Theory of interaction (Q896903) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- On the expressibility of priority (Q975534) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- A structural operational semantics for an Edison like language. II (Q1821554) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- On the axiomatisability of priority. III: Priority strikes again (Q2193294) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
