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