TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 74 records were found in 0.328 seconds
Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
ISBN: 3-540-40493-72719, 2003
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings
ISBN: 3-540-61648-91135, 1996
Concurrency without Homotopy
Bulletin of the EATCS, 55, 1995
Guest Editors Foreword
Nord. J. Comput., 2(2):87, 1995
Interaction Diagrams
Nord. J. Comput., 2(4):407-443, 1995
CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings
ISBN: 3-540-58329-7836, 1994
Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991
ISBN: 0-444-89210-9, 1991
Algebraic descriptions of mobile networks: An example
PSTV, 275-291, 1990
A Semantics Based Verification Tool for Finite State Systems
PSTV, 287-302, 1989
Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic
PSTV, 309-348, 1984
An Integrated Approach to Protocol Design Research
PSTV, 309-310, 1982