Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
The portable common runtime approach to interoperability
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Communication and Concurrency
Computer Networks
Fundamentals of Computer Alori
Fundamentals of Computer Alori
A LOTOS compiler and process synchronization manager
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Proceedings of the First International Conference on Formal Description Techniques
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System
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
Implementing LOTOS Specifications by Communicating State Machines
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
An overview of the PL.8 compiler
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
ACM SIGPLAN Notices
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Distributed implementation of a process-algebra based programming language for embedded systems
Nordic Journal of Computing
Hi-index | 0.00 |