Pages that link to "Item:Q1878719"
From MaRDI portal
The following pages link to A structural approach to operational semantics (Q1878719):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Mechanizing a process algebra for network protocols (Q287372) (← links)
- Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
- Processes with infinite liveness requirements (Q383788) (← links)
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Reactive Turing machines (Q393091) (← links)
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Formal modeling and validation of a power-efficient grouping protocol for WSNs (Q444471) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Content dependent information flow control (Q511927) (← links)
- A language-based approach to modelling and analysis of Twitter interactions (Q511939) (← links)
- Some undecidable properties of SOS specifications (Q511941) (← links)
- From imperative to rule-based graph programs (Q516038) (← links)
- Flag-based big-step semantics (Q516041) (← links)
- On the axiomatizability of priority. II (Q549169) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Unguardedness mostly means many solutions (Q549175) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Models for concurrency: Towards a classification (Q672053) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Graph rewriting for a partial ordering semantics of concurrent constraints programming (Q685459) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- A note on the notation of recursion in process algebras (Q751295) (← links)
- Algèbre de processus et synchronisation (Q789894) (← links)
- Parametric channels via label expressions in CCS (Q795500) (← links)
- On guarded recursion (Q805246) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Splitting atoms safely (Q879357) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- A\(^ 2\)CCS: Atomic actions for CCS (Q912608) (← links)
- An operational semantics of occam (Q914399) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
