A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Algebraic specification of synchronisation and errors: a telephonic example
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Using VDM with rely and guarantee-conditions. Experiences from real projects
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Formal modelling of telematic services using LOTOS
Microprocessing and Microprogramming
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The operational versus the conventional approach to software development
Communications of the ACM
Metric Spaces as Models for Real-Time Concurrency
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
A Timed Model for Communicating Sequential Processes
ICALP '86 Proceedings of the 13th International Colloquium on Automata, Languages and Programming
Modelling Real-Time Behaviour with an Interval Time Calculus
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
A uniform mathematical theory for real-time distributed computing
A uniform mathematical theory for real-time distributed computing
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Adaptive Multimedia Presentation Strategies
Multimedia Tools and Applications
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Assumption-Commitment Support for CSP Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Assumption---Commitment Support for CSP Model Checking
Journal of Automated Reasoning
The modelling and analysis of ocean store elements using the CSP dependability library
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
| Hi-index | 0.00 |
A rely and guarantee method for timed communicating sequential processes (TCPSs), by which the behavior of a component belonging to a composite system is specified in terms of what it guarantees to its neighbors and what it relies on from them, is described. The method is illustrated using an overview of the specification of a plain old telephone service together with part of a design that provably satisfies this specification. The specification and design deal with safety, liveness, and troublesome race conditions.