Pages that link to "Item:Q1079949"
From MaRDI portal
The following pages link to Higher-level synchronising devices in Meije-SCCS (Q1079949):
Displayed 46 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Transition system specifications with negative premises (Q685387) (← links)
- The expressive power of implicit specifications (Q685409) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- Fair testing (Q865623) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Partial specifications and compositional verification (Q1177172) (← links)
- The chemical abstract machine (Q1190491) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- An algebra for process creation (Q1203719) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Rule formats for compositional non-interference properties (Q1878717) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- A domain equation for bisimulation (Q2639646) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)