Transition graphs semantics and languages

  • M. Venturini Zilli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)


This paper is organised in two parts. In the first part, transition graphs, labelled at nodes, are considered as a general and nevertheless operational semantical setting for analysing some program properties that do not require the definition of the program constructs. Bisimulation, the known behaviour equivalence, is formulated for such transition graphs.

In the second part, a family of formalized languages is considered and its expressiveness with respect to transition graphs is analysed. It is shown that Milner's semantical characterization of logical equivalence can be stated.


Inductive Hypothesis Transition System Boolean Algebra Transition Graph Boolean Formula 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S.D. Brooks and W.C. Rounds, "Behavioural equivalence relations induced by programming logics," LNCS vl.54,pp.97–108 (1983).Google Scholar
  2. [2]
    M. Hennessy and C. Stirling, "The Power of the future perfect in program logics", Internal report, CSR-156-83, Department of Computer Science, University of Edinburgh.Google Scholar
  3. [3]
    G.F. Mascari and M. Venturini Zilli, "While programs with nondeterministic assignments and the logic ALNA," to appear in TCS.Google Scholar
  4. [4]
    G. Mirkowska, L. Stapp, " Algorithmic Logic can express progressive behaviour of programs", preprint.Google Scholar
  5. [5]
    G. Mirkowska, "Algorithmic Logic with nondeterministic programs", Fundamenta Informaticae 3,pp.45–64 (1980).Google Scholar
  6. [6]
    V. Pratt, "Process Logic", in Proceedings 6-th POPL, Jan. 1979, pp.93–100.Google Scholar
  7. [7]
    H. Rasiowa, "Many-valued Algorithmic Logic as a tool to investigate programs", in "Modern uses of multiple-valued logic", eds. J.M. Dunn and G. Epstein (1977), Reidel Pn. Co., pp. 77–102.Google Scholar
  8. [8]
    J. Sifakis, "A Unified approach for studying the properties of transition systems", TCS, pp.227–258 (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • M. Venturini Zilli
    • 1
  1. 1.Istituto per le applicazioni del calcolo "Mauro Picone"Consiglio Nazionale delle RicercheRomeItaly

Personalised recommendations