Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Evaluation and intergration of specification languages
Computer Networks and ISDN Systems - CCITT SDL
Managing the development of large software systems: concepts and techniques
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Journal of the ACM (JACM)
Object-oriented analysis
CCS, liveness, and local model checking in the linear time mu-calculus
Proceedings of the international workshop on Automatic verification methods for finite state systems
An efficient algorithm for branching bisimulation and stuttering equivalence
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Process algebra
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Engineering Economics
Software Engineering Economics
Stepwise Production of an SDL Description
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Mixing LOTOS and SDL Specifications
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
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
Hi-index | 0.00 |