Executable description of the OSI transport service in Prolog
Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Concurrent Prolog
Channels: A generalization of streams
Concurrent Prolog
Parallel program design: a foundation
Parallel program design: a foundation
Computer networks
Use of Prolog for building protocol design tools
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Runnable protocol specifications using the logic interpreter SLOG
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Executable LOTOS: Using PARLOG to Implement an FDT
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Experiences with a Verification and Simulation Tool for Behavioural Languages
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
An environment for interactive design of communications architectures
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence)
| Hi-index | 0.00 |