Pages that link to "Item:Q1878719"

The following pages link to A structural approach to operational semantics (Q1878719):

Displayed 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)