Abstract
This paper presents process spaces, a general theory for systems that are made of several interacting components and layers of abstraction. Process spaces capture in a homogeneous manner diverse correctness concerns for concurrent systems and other types of systems. The main innovation of process spaces is the idea of abstract execution, which permits to set the precision and complexity of a system model by the amount of detail included in the execution model. Notwithstanding this generality, we show that process spaces admit several algebraic properties of practical significance.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ben-Ari, M.: Principles of Concurrent and Distributed Programming. Prentice Hall (1990)
Brzozowski, J. A., Lou, J. J., Negulescu, R.: A characterization of finite ternary algebras. International Journal of Algebra and Computation 6 (1997) 713–721
De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science (1983) 83–133
Dill, D.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM distinguished dissertations. MIT Press (1989)
Ebergen, J.C.: A formal approach to designing delay-insensitive circuits. Distributed Computing 5 (1991) 107–119
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall. (1985)
Josephs, M.B.: Receptive process theory. Acta Informatica 1 (1992) 17–31
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
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)
Milner, R.: Communication and Concurrency. Prentice Hall. (1989)
Negulescu, R.: Process spaces. Technical report CS-95-48, University of Waterloo, Canada (1995)
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
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
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
Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM J. Control and Optimization 1 (1987) 206–230
Staunstrup, J.: A Formal Approach to Hardware Design. Kluwer Academic Publishers (1994)
Troelstra, A.S.: Lectures on Linear Logic. Center for the Study of Language and Information, Leland Stanford Junior University (1992)
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)
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
Verhoeff, T.: A Theory of Delay-Insensitive Systems. Ph.D. Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Negulescu, R. (2000). Process Spaces. In: Palamidessi, C. (eds) CONCUR 2000 — Concurrency Theory. CONCUR 2000. Lecture Notes in Computer Science, vol 1877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44618-4_16
Download citation
DOI: https://doi.org/10.1007/3-540-44618-4_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67897-7
Online ISBN: 978-3-540-44618-7
eBook Packages: Springer Book Archive