Systematic software development using VDM
Systematic software development using VDM
Current trends in concurrency. Overviews and tutorials
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)
Parallel program design: a foundation
Parallel program design: a foundation
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Interacting processes: a language for coordinated distributed programming
JCIT Proceedings of the fifth Jerusalem conference on Information technology
Real-time specification and modeling with joint actions
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Toward a discipline of real-time programming
Communications of the ACM
Towards programming with knowledge expressions
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
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
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |