scientific article; zbMATH DE number 795666
From MaRDI portal
Publication:4845486
Recommendations
Cited in
(54)- Nonexpressibility of fairness and signaling
- Asynchronous logic circuits and sheaf obstructions
- A brief history of process algebra
- scientific article; zbMATH DE number 400580 (Why is no real title available?)
- Performance evaluation in stochastic process algebra dtsdPBC
- On the suitability of trace semantics for modular proofs of communicating processes
- scientific article; zbMATH DE number 4018374 (Why is no real title available?)
- Hybrid action systems
- scientific article; zbMATH DE number 3903946 (Why is no real title available?)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- scientific article; zbMATH DE number 988156 (Why is no real title available?)
- Understanding concurrent systems
- Models of nondeterministic regular expressions
- Nonaxiomatisability of equivalences over finite state processes
- A general approach to queuing in C.S.P
- Static slicing of explicitly synchronized languages
- Fully abstract semantics for higher order communicating systems (extended abstract)
- scientific article; zbMATH DE number 2123358 (Why is no real title available?)
- Transforming sequential systems into concurrent systems
- Calculi for synchrony and asynchrony
- scientific article; zbMATH DE number 4064498 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- The Fork95 programming language: Design, implementation, application.
- Communicating parallel processes
- Modular specification of process algebras
- Concurrency and atomicity
- A temporal logic approach to discrete event control for the safety canonical class
- Algèbre de processus et synchronisation
- Reachability is decidable for weakly extended process rewrite systems
- Algebra of communicating processes with abstraction
- On powerdomains and modality
- On interprocess communication. I: Basic formalism
- Modelling concurrency with comtraces and generalized comtraces
- scientific article; zbMATH DE number 2159450 (Why is no real title available?)
- Absolute versus relative time in process algebras.
- From algebra to operational semantics
- scientific article; zbMATH DE number 4024756 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- The reactive simulatability (RSIM) framework for asynchronous systems
- Transaction processing primitives and CSP
- scientific article; zbMATH DE number 3997155 (Why is no real title available?)
- Viewing CSP specifications with UML-RT diagrams
- Nets, sequential components and concurrency relations
- Communicating Sequential Processes for Centralized and Distributed Operating System Design
- Concurrent and maximally concurrent evolution of nonsequential systems
- Hardness of preorder checking for basic formalisms
- On describing the behavior and implementation of distributed systems
- Retracing some paths in process algebra
- A timed model for communicating sequential processes
- Langages infinitaires et produit de mixage
- Nested semantics over finite trees are equationally hard
- A LISP implementation of the model for ‘communicating sequential processes’
- scientific article; zbMATH DE number 64175 (Why is no real title available?)
- To every manifest domain a CSP expression -- a rôle for mereology in computer science
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845486)