Multiway synchronization verified with coupled simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 630 LNCS, Issue , 1992, Pages 518-533

  Parrow, Joachim ^a,b   Sjödin, Peter ^a,b  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS COMMUNICATION; COUPLED SIMULATION; DISTRIBUTED ENVIRONMENTS; DISTRIBUTED IMPLEMENTATION; IMPLEMENTATION STRATEGIES; OBSERVATION EQUIVALENCE; TESTING EQUIVALENCE; TRANSITION SYSTEM;

SYNCHRONIZATION;

EID: 85014788505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0084813     Document Type: Conference Paper

References (17)

1. R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10(4):513-554, 1988.
2. R. Bagrodia. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering, 15(9):1053-1065, September 1989.
3. T. Botognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23-73. North-Holland, 1989.
4. A. Charlesworth. The multiway rendezvous. ACM Transactions on Programming Languages and Systems, 9(2):350-366, July 1987.
5. R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science 34(1,2):83-133, 1984.
6. P. Eldund. Synchronizing multiple processes in common handshakes. Reports on Computer Science and Mathematics 39, Åbo Akademi, Finland, 1984.
7. M. Evangelist, N. Francez, and S. Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417-1426, November 1989.
8. N. Francez and I. R. Forman. Superimposition for interacting processes. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR '90, volume 458 of Lecture Notes in Computer Science, pages 230-245. Springer-Verlag, 1990.
9. N. Francez, B. Hallpern, and G. Taubenfeld. Script: A communication abstraction mechanism. Science of Computer Programming, 6(1):35-88, January 1986.
10. Y.-J. Joung and S. A. Smolka. Coordinating first-order multiparty interactions. In Proc. 17th Annual ACM Symposium on Principles of Programming Languages, pages 209-220, Orlando, Florida, January 1991.
11. D. Kumar. An implementation of N-party synchronization using tokens. In Proc. lOth International Conference on Distributed Computing Systems, pages 320-327. IEEE, 1990.
12. R. Mflner. Communication and Concurrency. Prentice Hall, 1989.
13. K. Mitchell. Implementations of Process Synchronization and their Analysis. PhD thesis, Department of Computer Science, University of Edinburgh, July 1986.
14. M. H. Park and M. Kim. A distributed synchronization scheme for fair multi-process handshakes. Information Processing Letters, 34(3):131-138, April 1990.
15. S. Ramesh. A new and efficient implementation of multiprocess synchronization. In Parallel Architectures and Languages Europe, volume 259 of Lecture Notes in Computer Science, pages 387-401. Springer-Verlag, 1987.
16. S. Ramesh and S. L. Mehndiratta. A methodology for developing distributed programs. IEEE Transactions on Software Engineering, SE-13(8):967-976, August 1987.
17. P. Sjödin. From LOTOS Specifications to Distributed Implementations. PhD thesis, Department of Computer Systems, Uppsala University, Uppsala, Sweden, 1991.