Design and implementation of Triveni: A process-algebraic API for threads+events

Proceedings of the IEEE International Conference on Computer Languages

Volumn , Issue , 1998, Pages 58-67

  Colby, Christopher ^a   Jagadeesan, Lalita Jategaonkar ^a   Jagadeesan, Radha ^a   Laufer, Konstantin ^a   Puchol, Carlos ^a  

^a LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES; HIGH LEVEL LANGUAGES; OBJECT ORIENTED PROGRAMMING;

APPLICATION PROGRAMMING INTERFACE (API); JAVA PROGRAMMING LANGUAGE;

INTERFACES (COMPUTER);

EID: 0031637836     PISSN: 10748970     EISSN: None     Source Type: None    
DOI: 10.1109/ICCL.1998.674157     Document Type: Conference Paper

References (28)

1. J. A. Bank B. Liskov A. C. Myers Parametrized types for java Principles of Programming languages 1997
2. J. A. Bergstra J. W. Klop Algebra of communicating processes with abstraction Theoretical Computer Science 37 1 77 121 May 1985
3. G. Berry Preemption in concurrent systems Proc. of FSTTCS 781 Proc. of FSTTCS 1993
4. G. Berry A. Benveniste Special Issue on Another Look at Real-time Systems Proceedings of the IEEE 1991
5. G. Berry S. Ramesh R. K. Shyamsunder Communicating reactive processes Proceedings of Twentieth ACM Symposium on Principles of Programming Languages 85 98 Proceedings of Twentieth ACM Symposium on Principles of Programming Languages 1993
6. L. C. Amber Combinators and Functional Programming Languages 21 47 1986 Springer-Verlag
7. E. M. Clarke R. P. Kurshan Computer-Aided Verification. IEEE Spectrum 33 6 61 67 1996
8. C. Colby L. J. Jagadeesan R. Jagadeesan K. Läufer C. Puchol Objects and processes in Triveni: A telecommunication case study in java Proceedings of the 1998 Usenix Conference on Object Oriented Techonologies and Systems Proceedings of the 1998 Usenix Conference on Object Oriented Techonologies and Systems 1998
9. D. Dill ACM Distinguished Dissertations 1988 MIT Press Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
10. L. K. Dillon Q. Yu Oracles for checking temporal properties of concurrent systems Software Engineering Notes 19 5 140 153 December 1994
11. E. A. Emerson Temporal and modal logic 995 1072 1990 Elsevier/The MIT Press Handbook of Theoretical Computer Science
12. E. Gamma R. Helm R. Johnson J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1995 Addison-Wesley
13. P. Godefroid Model checking for programming languages using VeriSoft Proceedings of the 24th ACM symposium on Principles of programming languages 174 186 Proceedings of the 24th ACM symposium on Principles of programming languages 1997
14. N. Halbwachs The Kluwer international series in Engineering and Computer Science 1993 Kluwer Academic publishers Synchronous programming of reactive systems
15. C. A. R. Hoare Communicating Sequential Processes 1985 Prentice Hall
16. K. Honda N. Yoshida Combinatory representation of mobile processes Principles of Programming Languages (POPL '94) 348 360 Principles of Programming Languages (POPL '94) 1994-jan
17. L. Jagadeesan C. Puchol J. E. Von Olnhausen A formal approach to reactive systems software: A telecommunications application in ESTEREL Formal Methods in System Design 8 2 123 152 March 1996
18. M. B. Josephs Receptive process theory Acta Informatica 29 17 31 1992
19. N. A. Lynch M. R. Tuttle An introduction to input/output automata CWI Quarterly 2 3 219 246 1989
20. MIT/LCS/TM-373 MIT
21. Z. Manna A. Pnueli The Temporal Logic of Reactive and Concurrent Systems 427 1991 Springer-Verlag
22. R. Milner Communication and Concurrency 1989 Prentice Hall
23. R. Milner The polyadic π-calculus: a tutorial oct 1991 UK ECS-LFCS-91-180 Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh
24. M. Odersky P. Wadler Pizza into Java: Translating theory into practice Principles of Programming Languages (POPL) 1997
25. B. C. Pierce D. N. Turner Pict: A programming language based on the pi-calculus 1997 CSCI 476 Computer Science Department, Indiana University
26. J. H. Reppy Higher order concurrency 1992 Cornell University
27. V. A. Saraswat R. Jagadeesan V. Gupta Timed Default Concurrent Constraint Programming Journal of Symbolic Computation 22 475 520 1996
28. A. Wollrath R. Riggs J. Waldo A distributed object model for the java(tm) system 2nd Conference on Object-Oriented Technologies and Systems (COOTS) 2nd Conference on Object-Oriented Technologies and Systems (COOTS) Toronto Canada 1996