Communicating sequential processes
Communicating sequential processes
Current trends in concurrency. Overviews and tutorials
A Methodology for Developing Distributed Programs
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A new paradigm for the design of concurrent systems
IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Parallel program design: a foundation
Parallel program design: a foundation
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating sequential processes
Communications of the ACM
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming
How to cook a temporal proof system for your pet language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Hi-index | 0.00 |