Concurrent semantics without the notions of state or state transitions

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

Volumn 4202 LNCS, Issue , 2006, Pages 18-31

  Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; INTERACTIVE COMPUTER SYSTEMS; PROBLEM SOLVING;

CONCURRENT PROGRAMS; CONCURRENT SEMANTICS; CONCURRENT SOFTWARE;

SEMANTICS;

EID: 33750380163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11867340_2     Document Type: Conference Paper

References (58)

1. S. Abramsky, S. J. Gay, and R. Nagarajan. Interaction categories and the foundations of typed concurrent programming. In M. Broy, editor, Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F. Springer-Verlag, 1995.
2. S. Abramsky and A. Jung. Domain theory. In Handbook of logic in computer science (vol. 3): semantic structures, pages 1-168. Oxford University Press, Oxford, UK, 1995.
3. G. Agha. Concurrent object-oriented programming. Communications of the ACM, 33(9):125-140, 1990.
4. F. Arbab. Abstract behavior types : A foundation model for components and their composition. Science of Computer Programming, 55:3-52, 2005.
5. J. R. Armstrong and F. G. Gray. VHDL Design Representation and Synthesis. Prentice-Hall, second edition, 2000.
6. A. Arnold and M. Nivat. Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Fundamenta Informaticae, 11(2):181-205, 1980.
7. C. Baier and M. E. Majster-Cederbaum. Denotational semantics in the cpo and metric approach. Theoretical Computer Science, 135(2):171-220, 1994.
8. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, 1991.
9. A. Benveniste, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In EMSOFT. Springer, 2003.
10. G. Berry. The Constructive Semantics of Pure Esterel. Book Draft, 1996.
11. M. Broy and G. Stefanescu. The algebra of stream processing functions. Theoretical Computer Science, 258:99-129, 2001.
12. J. R. Burch, R. Passerone, and A. L. Sangiovanni-Vincentelli. Notes on agent algebras. Technical Report UCB/ERL M03/38, University of California, November 2003.
13. C. G. Cassandras. Discrete Event Systems, Modeling and Performance Analysis. Irwin, 1993.
14. A. Cataldo, E. A. Lee, X. Liu, E. Matsikoudis, and H. Zheng. A constructive fixed-point theorem and the feedback semantics of timed systems. In Workshop on Discrete Event Systems (WODES), Ann Arbor, Michigan, 2006.
15. B. A. Davey and H. A. Priestly. Introduction to Lattices and Order. Cambridge University Press, 1990.
16. J. W. de Bakker and E. P. de Vink. Denotational models for programming languages: Applications of banachs fixed point theorem. Topology and its Applications, 85:35-52, 1998.
17. J. B. Dennis. First version data flow procedure language. Technical Report MAC TM61, MIT Laboratory for Computer Science, 1974.
18. S. A. Edwards and E. A. Lee. The semantics and execution of a synchronous block-diagram language. Science of Computer Programming, 48(1), 2003.
19. G. S. Fishman. Discrete-Event Simulation: Modeling, Programming, and Analysis. Springer-Verlag, 2001.
20. D. Goldin, S. Smolka, P. Attie, and E. Sonderegger. Turing machines, transition systems, and interaction. Information and Computation, 194(2):101-128, 2004.
21. A. Gontmakher and A. Schuster. Java consistency: nonoperational characterizations for Java memory behavior. ACM Trans. Comput. Syst., 18(4):333-386, 2000.
22. G. Gssler and J. Sifakis. Composition for component-based modeling. Science of Computer Programming, 55, 2005.
23. Y. Gurevich. Evolving algebras 1993: Lipari Guide. In E. Borger, editor, Specification and Validation Methods, pages 9-37. 1994.
24. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artifical Intelligence, 8(3):323363, 1977.
25. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8), 1978.
26. S. Johannessen. Time synchronization in a local area network. IEEE Control Systems Magazine, pages 61-69, 2004.
27. G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress 74. North-Holland Publishing Co., 1974.
28. G. Kahn and D. B. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing, pages 993-998. North-Holland Publishing Co., 1977.
29. E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25-45, 1999.
30. E. A. Lee. Embedded software. In M. Zelkowitz, editor, Advances in Computers, volume 56. Academic Press, 2002.
31. E. A. Lee. Model-driven development - from object-oriented design to actororiented design. In Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (a.k.a. The Monterey Workshop), Chicago, 2003.
32. E. A. Lee. The problem with threads. Computer, 39(5):33-42, 2006.
33. E. A. Lee, S. Neuendorffer, and M. J. Wirthlin. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers, 12(3):231-260, 2003.
34. E. A. Lee and T. M. Parks. Dataflow process networks. Proceedings of the IEEE, 83(5):773-801, 1995.
35. E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 17(12): 1217-1229, 1998.
36. E. A. Lee, H. Zheng, and Y. Zhou. Causality interfaces and compositional causality analysis. In Foundations of Interface Technologies (FIT), Satellite to CONCUR, San Francisco, CA, 2005.
37. X. Liu. Semantic foundation of the tagged signal model. Phd thesis. EECS Department, University of California, December 20 2005.
38. X. Liu and E. A. Lee. CPO semantics of timed interactive actor networks. Technical Report EECS-2006-67, UC Berkeley, May 18 2006.
39. X. Liu, E. Matsikoudis, and E. A. Lee. Modeling timed concurrent systems. In CONCUR, Bonn, Germany, 2006. LNCS.
40. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real-Time: Theory and Practice, REX Workshop, pages 447-484. Springer-Verlag, 1992.
41. Z. Manna and A. Pnueli. Verifying hybrid systems. Hybrid Systems, pages 4-35, 1992.
42. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, 1980.
43. R. Milner. Elements of interaction. Communications of the ACM, 36:78-89, 1993.
44. H. Naundorf. Strictly causal functions have a unique fixed point. Theoretical Computer Science, 238(1-2):483-488, 2000.
45. S. Priess-Crampe and P. Ribenboim. Generalized ultrametric spaces I. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 66:55-73, 1996.
46. S. Priess-Crampe and P. Ribenboim. Fixed point and attractor theorems for ultrametric spaces. Forum Mathematicum, 12:53-64, 2000.
47. W. Pugh. Fixing the Java memory model. In Proceedings of the ACM 1999 conference on Java Grande, pages 89-98, San Francisco, California, United States, 1999. ACM Press.
48. G. M. Reed and A. W. Roscoe. Metric spaces as models for real-time concurrency. In 3rd Workshop on Mathematical Foundations of Programming Language Semantics, pages 331-343, London, UK, 1988.
49. K. Schneider, J. Brandt, and T. Schuele. Causality analysis of synchronous programs with delayed actions. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, Washington DC, USA, 2004.
50. J. E. Stoy. Denotational Semantics. MIT Press, Cambridge, MA, 1977.
51. C. L. Talcott. Interaction semantics for components of distributed systems. In Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1996.
52. P. Taylor. Practical Foundations of Mathematics. Cambridge University Press, 1999.
53. M. M. Tiller. Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers, 2001.
54. A. M. Turing. Computability and λ-definability. Journal of Symbolic Logic, 2:153-163, 1937.
55. G. Winskel. The Formal Semantics of Programming Languages. MIT Press, Cambridge, MA, USA, 1993.
56. R. K. Yates. Networks of real-time processes. In E. Best, editor, Proc. of the 4th Int. Conf. on Concurrency Theory (CONCUR), volume LNCS 715. Springer-Verlag, 1993.
57. B. P. Zeigler, H. Praehofer, and T. G. Kim. Theory of Modeling and Simulation. Academic Press, 2nd edition, 2000.
58. Y. Zhou and E. A. Lee. A causality interface for deadlock analysis in dataflow. Technical Report UCB/EECS-2006-51, EECS Department, UC Berkeley, May 12 2006.