Process spaces

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

Volumn 1877 LNCS, Issue , 2000, Pages 199-213

  Negulescu, Radu ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ABSTRACT EXECUTIONS; ALGEBRAIC PROPERTIES; CONCURRENT SYSTEMS; EXECUTION MODEL; GENERAL THEORY; SYSTEM MODELING;

ARTIFICIAL INTELLIGENCE;

EID: 58849099775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44618-4_16     Document Type: Conference Paper

References (20)

1. Ben-Ari, M.: Principles of Concurrent and Distributed Programming. Prentice Hall (1990)
2. Brzozowski, J. A., and Lou., J. J., Negulescu, R.: A characterization of finite ternary algebras. International Journal of Algebra and Computation 6 (1997) 713-721
3. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science (1983) 83-133
4. Dill, D.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM distinguished dissertations. MIT Press (1989)
5. Ebergen, J. C.: A formal approach to designing delay-insensitive circuits. Distributed Computing 5 (1991) 107-119
6. Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall. (1985)
7. Josephs, M. B.: Receptive process theory. Acta Informatica 1 (1992) 17-31
8. Lamport, L., Lynch, N.: Distributed computing: models and methods. In: van Leeuwen, J. (Ed.): Handbook of Theoretical Computer Science, vol. B, Formal Methods and Semantics. The MIT Press - Elsevier (1990) 1159-1196
9. Mallon, W., Udding, J.T., Verhoeff, T.: Analysis and applications of the XDI model. In: Int. Symp. on Advanced Research in Asynchronous Circuits and Systems (1999)
10. Milner, R.: Communication and Concurrency. Prentice Hall. (1989)
11. Negulescu, R.: Process spaces. Technical report CS-95-48, University of Waterloo, Canada (1995)
12. Negulescu, R.: Event-driven verification of switch-level correctness concerns. In: Int. Conf. on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan (1998) 213-223
13. Negulescu, R.: Process Spaces and Formal Verification of Asynchronous Circuits. Ph.D. Thesis, University of Waterloo, Canada (1998) http://macs.ece.mcgill.ca/~radu/Papers/RN-thesis.ps.gz
14. Negulescu, R., Peeters, A.: Verification of speed-dependences in single-rail handshake circuits. In: Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, IEEE Press (1998) 159-170
15. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM J. Control and Optimization 1 (1987) 206-230
16. Staunstrup, J.: A Formal Approach to Hardware Design. Kluwer Academic Publishers (1994)
17. Troelstra, A.S.: Lectures on Linear Logic. Center for the Study of Language and Information, Leland Stanford Junior University (1992)
18. van Glaabeek, R.J.: The linear time - branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (Eds.): CONCUR'90. LNCS 458. Springer-Verlag (1990)
19. Valmari, A., Kokkarinen, I.: Unbounded verification results by finite-state compositional techniques: 10any states and beyond. In: Int. Conf. on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan (1998) 75-85
20. Verhoeff, T.: A Theory of Delay-Insensitive Systems. Ph.D. Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1994)