Pages that link to "Item:Q3731022"

The following pages link to Process algebra for synchronous communication (Q3731022):

Displaying 50 items.

• Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
• Kleene's three-valued logic and process algebra (Q293327) (← links)
• Developments in concurrent Kleene algebra (Q299202) (← links)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• A process calculus with finitary comprehended terms (Q385508) (← 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)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
• Reversible session-based pi-calculus (Q492908) (← links)
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
• Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
• On the axiomatizability of priority. II (Q549169) (← links)
• SOS rule formats for zero and unit elements (Q549170) (← links)
• Derivation tree analysis for accelerated fixed-point computation (Q549189) (← links)
• Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
• The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \) (Q549205) (← links)
• Refusal testing (Q580961) (← links)
• Nested semantics over finite trees are equationally hard (Q598202) (← links)
• A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
• Structural operational semantics through context-dependent behaviour (Q638568) (← links)
• A timed calculus for wireless systems (Q650891) (← links)
• Universal axioms for bisimulations (Q685411) (← links)
• An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
• Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
• Recursive process definitions with the state operator (Q758198) (← links)
• Priorities in process algebras (Q802881) (← links)
• Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
• Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
• Duplication of constants in process algebra (Q864505) (← links)
• Preferential choice and coordination conditions (Q864506) (← links)
• A generalization of ACP using Belnap's logic (Q864509) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• Generating the syntactic and semantics graphs for a Markovian process algebra (Q879408) (← links)
• Execution architectures for program algebra (Q881834) (← links)
• Decision problems for pushdown threads (Q884992) (← links)
• Generating symbolic traces in the insertion modeling system (Q895075) (← links)
• Product line process theory (Q898612) (← links)
• Issues in the design of a parallel object-oriented language (Q909434) (← links)
• Denotational semantics of a parallel object-oriented language (Q910250) (← links)
• A\(^ 2\)CCS: Atomic actions for CCS (Q912608) (← links)
• A partial ordering semantics for CCS (Q914400) (← links)
• Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
• Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
• Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
• Lifting non-finite axiomatizability results to extensions of process algebras (Q969643) (← links)
• A thread calculus with molecular dynamics (Q988554) (← links)
• Risk assessment for one-counter threads (Q1015382) (← links)
• An upper bound for the equational specification of finite state services (Q1041764) (← links)
• The compression structure of a process (Q1044743) (← links)
• Algebra of communicating processes with abstraction (Q1067408) (← links)