Communicating sequential processes
Communicating sequential processes
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Trace theory for automatic hierarchical verification of speed-independent circuits
Trace theory for automatic hierarchical verification of speed-independent circuits
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
Distributed computing: models and methods
Handbook of theoretical computer science (vol. B)
Acta Informatica
A Formal Approach to Hardware Design
A Formal Approach to Hardware Design
Communication and Concurrency
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Verification of Speed-Dependences in Single-Rail Handshake Circuits
ASYNC '98 Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Analysis and Applications of the XDI model
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Unbounded Verification Results by Finite-State Compositional Techniques: 10^any States and Beyond
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Event-Driven Verification of Switch-Level Correctness Concerns
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Process spaces and formal verification of asynchronous circuits
Process spaces and formal verification of asynchronous circuits
A formal approach to designing delay-insensitive circuits
Distributed Computing
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
On Process-algebraic Verification of Asynchronous Circuits
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
| Hi-index | 0.00 |
This paper presents process spaces, a general theory for systems that are made of several interacting components and layers of abstraction. Process spaces capture in a homogeneous manner diverse correctness concerns for concurrent systems and other types of systems. The main innovation of process spaces is the idea of abstract execution, which permits to set the precision and complexity of a system model by the amount of detail included in the execution model. Notwithstanding this generality, we show that process spaces admit several algebraic properties of practical significance.