Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-based concurrency: a process calculus analysis
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The Z notation: a reference manual
The Z notation: a reference manual
A calculus of mobile processes, II
Information and Computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Regular types for active objects
Object-oriented software composition
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Formal methods for broadband and multimedia systems
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Concurrent Objects in a Process Calculus
TPPP '94 Proceedings of the International Workshop on Theory and Practice of Parallel Programming
A Logical Framework for Distributed Systems and Communication Protocols
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Dynamic Configuration in LOTOS
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
Implicit Typing à la ML for the Join-Calculus
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Different FDT's Confronted with Different ODP-Viewpoints of the Trader
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
| Hi-index | 0.01 |