Abstract
We present the rudiments of a unifying theory of general processes encompassing discrete, continuous, and hybrid systems. The main focus is on the study of process behaviour, but constructions on processes are also considered in some detail. In particular, we show that processes admit an abstract, conceptual treatment of bisimilarity via the notion of open map (as advocated by Winskel et al.). Furthermore, we present a tool-kit of categorical constructions on processes that can be regarded as the basis of a process description language. Within the general theory, typical operations of process calculi on discrete and hybrid systems are discussed.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Bunge and M.P. Fiore. Unique factorisation lifting functors and categories of linearly-controlled processes. To appear in the special issue of Mathematical Structures in Computer Science in honour of Joachim LamBek’s 75th birthday, 1999.
M. Bunge and S. Niefield. Exponentiability and single universes. To appear in the Journal of Pure and Applied Algebra, 1998.
G.L. Cattani and G. Winskel. Presheaf models for concurrency. In Proceedings of CSL’96, volume 1258 of Lecture Notes in Computer Science, pages 58–75. Springer-Verlag, 1997.
R. De Nicola, U. Montanari, and F. Vaandrager. Back and forth bisimulations. In Proceedings of the CONCUR’90 Conf., volume 458 of Lecture Notes in Computer Science, pages 152–165. Springer-Verlag, 1990.
M.P. Fiore, G.L. Cattani, and G. Winskel. Weak bisimulation and open maps. In 14th LICS Conf., pages 67–76. IEEE, Computer Society Press, 1999.
T.A. Henzinger. The theory of hybrid automata. In 11th LICS Conf., pages 278–292. IEEE, Computer Society Press, 1996.
M.W. Hirsch and S. Smale. Differential equations, dynamical systems, and linear algebra, volume 60 of Pure and applied mathematics. Academic Press, 1974.
A. Joyal, M. Nielsen, and G. Winskel. Bisimulation from open maps. Information and Computation, 127(2):164–185, 1996.
F.W. Lawvere. Introduction. In F. W. Lawvere and S. H. Schanuel, editors, Categories in continuum physics, volume 1174 of Lecture Notes in Mathematics, pages 1–16. Springer-Verlag, 1986.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
M. Nielsen and A. Cheng. Observe behaviour categorically. In Proceedings of FST&TCS’ 95, volume 1026 of Lecture Notes in Computer Science, pages 263–278. Springer-Verlag, 1995.
J. Power and E. Robinson. Premonoidal categories and notions of computation. Mathematical Structures in Computer Science, 7(5):453–468, 1997.
S. Schanuel and R. Street. The length of a pasting diagram. Unpublished, June 1988.
R. Street. Categorical structures. In Handbook of algebra, volume 1, pages 529–577. North-Holland, 1996.
G. Winskel and M. Nielsen. Models for concurrency. In Handbook of logic in computer science, Vol.4, Oxford Sci. Publ., pages 1–148. Oxford Univ. Press, 1995.
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
Fiore, M.P. (2000). Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds) Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. TCS 2000. Lecture Notes in Computer Science, vol 1872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44929-9_32
Download citation
DOI: https://doi.org/10.1007/3-540-44929-9_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67823-6
Online ISBN: 978-3-540-44929-4
eBook Packages: Springer Book Archive