Process algebra for synchronous communication
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Risk assessment for one-counter threads
- An upper bound for the equational specification of finite state services
- The compression structure of a process
- Algebra of communicating processes with abstraction
- Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets
- Top-down design and the algebra of communicating processes
- Infinite streams and finite observations in the semantics of uniform concurrency
- An algebra of processes
- On the analysis of cooperation and antagonism in networks of communicating processes
- Global renaming operators in concrete process algebra
- Applications of compactness in the Smyth powerdomain of streams
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Designing equivalent semantic models for process creation
- Partial ordering models for concurrency can be defined operationally
- An incompleteness result in process algebra
- Shuffle on trajectories: Syntactic constraints
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- Algebraic and fixed point equations over inverse limits of algebras
- Observational structures and their logic
- Experimenting with process equivalence
- An algebra for process creation
- The semantics of the combination of atomized statements and parallel choice
- A fully abstract semantics for concurrent constraint programming
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- A general theory of action languages
- On deciding trace equivalences for processes
- Proving finiteness of CCS processes by non-standard semantics
- The connection between an event structure semantics and an operational semantics for TCSP
- Real space process algebra
- Process algebra with guards: Combining hoare logic with process algebra
- On sequential composition, action prefixes and process prefix
- A complete equational axiomatization for prefix iteration
- A \(\pi\)-calculus with explicit substitutions
- Actors, actions, and initiative in normative system specification
- The algebra of communicating processes with empty process
- A general conservative extension theorem in process algebras with inequalities
- Process algebra with propositional signals
- Termination modulo equations by abstract commutation with an application to iteration
- Process algebra with language matching
- An axiomatic semantics for the synchronous language Gentzen.
- A fully abstract model for the exchange of information in multi-agent systems.
- Linda-based applicative and imperative process algebras
- Finite axiom systems for testing preorder and De Simone process languages
- Language preorder as a precongruence
- A causal semantics for CCS via rewriting logic
- The cones and foci proof technique for timed transition systems
- Process algebra and conditional composition
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Unifying theories of time with generalised reactive processes
- Modeling and verification of reconfigurable printing system based on process algebra
- Verification of asynchronous systems with an unspecified component
- Rule formats for distributivity
- A type system for counting instances of software components
- CCS with Hennessy's merge has no finite-equational axiomatization
- On the computational strength of pure ambient calculi
- A brief history of process algebra
- Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
- Models and languages for description of parallel processes
- Parameterized verification of monotone information systems
- Fixed points in free process algebras. I
- Bisimulation of automata
- Automatic proofs by induction in theories without constructors
- Inductive synthesis of recursive processes from logical properties
- Trace and testing equivalence on asynchronous processes
- Ordered SOS process languages for branching and eager bisimulations
- Program algebra for sequential code
- On the expressiveness of choice quantification
- Axiomatizing GSOS with termination
- Branching time and orthogonal bisimulation equivalence
- Logic of transition systems
- Discrete time process algebra
- Categorical shape theory as a formal language for pattern recognition?
- A wide-spectrum language for object-based development of real-time systems
- Conflict vs causality in event structures
- Process algebra with strategic interleaving
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Temporal logic with recursion
- A Petri net view of covalent bonds
- Axiomatizing recursion-free, regular monitors
- A formal framework for distributed cyber-physical systems
- On the axiomatisability of priority. III: Priority strikes again
- Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
- Computable processes and bisimulation equivalence
- Behavioral complexity indicators for process algebra: The NKS approach
- Undecidable equivalences for basic parallel processes
- Efficient symbolic computation of process expressions
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
- Nested-unit Petri nets
- SOS rule formats for idempotent terms and idempotent unary operators
- Axiomatizing weak simulation semantics over BCCSP
- Thread algebra for strategic interleaving
- Synchronous cooperation for explicit multi-threading
- Belnap's logic and conditional composition
- Denotational semantics for thread algebra
- CCS with priority guards
- Leader election in rings of ambient processes
- Splitting bisimulations and retrospective conditions
- Systems specification by basic protocols
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
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)
