Abstract
We investigate an automata-theoretic model of distributed systems which communicate via message-passing. Each node in the system is a finite-state device. Channels are assumed to be reliable but may deliver messages out of order. Hence, each channel is modelled as a set of counters, one for each type of message. These counters may not be tested for zero
Though each node in the network is finite-state, the overall system is potentially infinite-state because the counters are unbounded. We work in an interleaved setting where the interactions of the system with the environment are described as sequences. The behaviour of a system is described in terms of the language which it accepts—that is, the set of valid interactions with the environment that are permitted by the system
Our aim is to characterise the class of message-passing systems whose behaviour is finite-state. Our main result is that the language accepted by a message-passing system is regular if and only if both the language and its complement are accepted by message-passing systems. We also exhibit an alternative characterisation of regular message-passing languages in terms of deterministic automata
Partly supported by IFCPAR Project 1502-1.
Currently on leave at Department of Computer Science, State University of New York at Stony Brook, NY 11794-4400, USA.kumar@cs.sunysb.edu.
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
P.A. Abdulla and B. Jonsson: Verifying programs with unreliable channels, in Proc. 8th IEEE Symp. Logic in Computer Science, Montreal, Canada 1993.
A. Ginzburg and M. Yoeli: Vector Addition Systems and Regular Languages, J. Comput. System. Sci. 20 1980 277–284
S.A. Greibach: Remarks on Blind and Partially Blind One-Way Multicounter Machines, Theoret. Comput. Sci 7 1978 311–324.
M. Hack: Petri Net Languages, C.S.G. Memo 124, Project MAC, MIT 1975.
G.J. Holzmann: Design and validation of computer protocols, Prentice Hall 1991.
M. Jantzen: Language Theory of Petri Nets, in W. Brauer, W. Reisig, G. Rozenberg (eds.), Petri Nets: Central Models and Their Properties, Advances in Petri Nets, 1986, Vol 1, Springer LNCS 254 1986 397–412.
R.M. Karp and R.E. Miller: Parallel Program Schemata, J. Comput. System Sci., 3(4) 1969 167–195.
N.A. Lynch and M. Tuttle: Hierarchical Correctness Proofs for Distributed Algorithms, Technical Report MIT/LCS/TR-387, Laboratory for Computer Science, MIT 1987.
A. Mazurkiewicz: Concurrent Program Schemes and their Interpretations, Report DAIMI-PB-78, Computer Science Department, Aarhus University, Denmark 1978.
M. Mukund, K. Narayan Kumar, J. Radhakrishnan and M. Sohoni: Message-Passing Automata and Asynchronous Communication, Report TCS-97-4, SPIC Mathematical Institute, Madras, India 1997.
M. Mukund, K. Narayan Kumar, J. Radhakrishnan and M. Sohoni: Robust Asynchronous Protocols are Finite-State, Proc. ICALP 98, Springer LNCS 1998 (to appear).
P. Panangaden and E.W. Stark: Computations, Residuals, and the Power of Indeterminacy, in T. Lepisto and A. Salomaa (eds.), Proc. ICALP’ 88, Springer LNCS 317 1988 439–454.
E. Pelz: Closure Properties of Deterministic Petri Nets, Proc. STACS 87, Springer LNCS 247, 1987 371–382.
J.L. Peterson: Petri net theory and the modelling of systems, Prentice Hall 1981.
R. Valk and G. Vidal-Naquet: Petri Nets and Regular Languages, J. Comput. System. Sci. 20 1980 299–325.
G. Vidal-Naquet: Deterministic languages for Petri nets, Application and Theory of Petri Nets, Informatik-Fachberichte 52, Springer-Verlag 1982.
W. Zielonka: Notes on Finite Asynchronous Automata, R.A.I.R.O.—Inf. Théor. et Appl., 21 1987 99–135.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mukund, M., Kumar, K.N., Radhakrishnan, J., Sohoni, M. (1998). Towards a Characterisation of Finite-State Message-Passing Systems. In: Hsiang, J., Ohori, A. (eds) Advances in Computing Science ASIAN 98. ASIAN 1998. Lecture Notes in Computer Science, vol 1538. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49366-2_21
Download citation
DOI: https://doi.org/10.1007/3-540-49366-2_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65388-2
Online ISBN: 978-3-540-49366-2
eBook Packages: Springer Book Archive