Process algebra for synchronous communication
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 3928334 (Why is no real title available?)
- Independence abstractions and models of concurrency
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
- Algebraic and fixed point equations over inverse limits of algebras
- Network algebra for asynchronous dataflow∗
- The semantics of the combination of atomized statements and parallel choice
- A\(^ 2\)CCS: Atomic actions for CCS
- Denotational semantics of a parallel object-oriented language
- A partial ordering semantics for CCS
- Process algebra with four-valued logic
- Parallel pushdown automata and commutative context-free grammars in bisimulation semantics (extended abstract)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Axiomatizing weak ready simulation semantics over BCCSP
- The equational theory of weak complete simulation semantics over BCCSP
- Modelling and analysing neural networks using a hybrid process algebra
- Mitigating covert channels based on analysis of the potential for communication
- Automatic verification of distributed systems: the process algebra approach.
- Failures semantics based on interval semiwords is a congruence for refinement
- Process algebra with language matching
- scientific article; zbMATH DE number 781171 (Why is no real title available?)
- On the analysis of cooperation and antagonism in networks of communicating processes
- A fully abstract model for the exchange of information in multi-agent systems.
- A model of actors and grey failures
- An algebra of processes
- Observational structures and their logic
- Runtime composition of systems of interacting cyber-physical components
- Maurer computers for pipelined instruction processing
- Verification of asynchronous systems with an unspecified component
- Nested-unit Petri nets
- Denotational semantics for thread algebra
- Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
- Lifting non-finite axiomatizability results to extensions of process algebras
- On deciding trace equivalences for processes
- Shuffle on trajectories: Syntactic constraints
- scientific article; zbMATH DE number 7471704 (Why is no real title available?)
- Hunting distributed malware with the \(\kappa \)-calculus
- scientific article; zbMATH DE number 3978362 (Why is no real title available?)
- Conflict vs causality in event structures
- Decision problems for pushdown threads
- On the expressiveness of choice quantification
- A ground-complete axiomatisation of finite-state processes in a generic process algebra
- Conflict vs causality in event structures
- Structural operational semantics through context-dependent behaviour
- Logic of transition systems
- Applications of compactness in the Smyth powerdomain of streams
- Proved trees
- Process algebra with strategic interleaving
- Divide and congruence: from decomposition of modal formulas to preservation of branching and -bisimilarity
- The algebra of communicating processes with empty process
- Back to the format: a survey on SOS for probabilistic processes
- Partial-order reduction in the weak modal mu-calculus
- Expressiveness modulo bisimilarity of regular expressions with parallel composition
- Derivation tree analysis for accelerated fixed-point computation
- On the axiomatizability of priority. II
- SOS rule formats for zero and unit elements
- The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
- Verification of mobile ad hoc networks: an algebraic approach
- Embedding untimed into timed process algebra; the case for explicit termination
- SOS formats and meta-theory: 20 years after
- On the axiomatisability of priority
- An axiomatic semantics for Esterel
- Partial ordering models for concurrency can be defined operationally
- An incompleteness result in process algebra
- Finite axiom systems for testing preorder and De Simone process languages
- Bisimulation of automata
- Imperative process algebra and models of parallel computation
- Inheritance of behavior
- A complete equational axiomatization for prefix iteration
- Priorities in process algebras
- A fully abstract semantics for concurrent constraint programming
- Linearization in parallel pCRL
- Preferential choice and coordination conditions
- A basic parallel process as a parallel pushdown automaton
- A \(\pi\)-calculus with explicit substitutions
- Termination modulo equations by abstract commutation with an application to iteration
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
- Compositional semantics and behavioral equivalences for P systems
- scientific article; zbMATH DE number 4018375 (Why is no real title available?)
- Rule formats for determinism and idempotence
- Leader election in rings of ambient processes
- Bisimilarity is not finitely based over BPA with interrupt
- A generalization of ACP using Belnap's logic
- Duplication of constants in process algebra
- A thread calculus with molecular dynamics
- Kleene's three-valued logic and process algebra
- Developments in concurrent Kleene algebra
- Using Hoare logic in a process algebra setting
- Global renaming operators in concrete process algebra
- Refinement in Interworkings
- Equivalence checking 40 years after: a review of bisimulation tools
- Refusal testing
- Computing with actions and communications
- Real time process algebra with time-dependent conditions
- Expressiveness of probabilistic -calculus
- Correspondence assertions for process synchronization in concurrent communications
- A type system for counting instances of software components
- A Generic Process Algebra
- Parallel processes with implicit computational capital
- Sheaf semantics for concurrent interacting objects
- Algebra of communicating processes with abstraction
This page was built for publication: Process algebra for synchronous communication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3731022)
