Equational μ-calculus

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

Volumn 208 LNCS, Issue , 1985, Pages 169-176

  Niwiński, Damian ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (13)

1. A. Arnold and M. Nivat, Non deterministic recursive programs, in “Fundamentals of Computation Theory”, pp. 12-21, Lecture Notes in Computer Science No. 56, Springer Verlag, Heidelberg, 1977.
2. A. Aho and J.D. Oilman, “Universality of Data Retrieval Languages" 6th Symp„ on Principles of Programming Languages, pp. 110-117, 1979.
3. S.L. Bloom, Varieties of ordered algebras, J, Comput. Syste Sci. 13, pp. 200-212, 1976.
4. E.C. Clarke and E.A. Emerson, Characterizing Correctness Properties of Parallel Programs Using Fixpoints, in Proc. Colloq. on Automata, Languages and Programming, pp. 169-181, 1980.
5. S. Eilenberg, “Automata, Languages and Machines”, Vol. A, Academic Press, New York, 1974.
6. G. Gratzer, “Universal algebra”, Van Nostrand Co. 1968.
7. D. Kozen, Results on the propositional &μ-calculus, in “Ninth Internet. Colloq. Automata, Lang. Programming”, pp. 348-359 1982.
8. D. Niwiński, Fixed-Point Characterization of Context-Free ∞-Languages, Inform. Contr., Vol. 61, No. 3, pp. 247-276, 1984.
9. D. Niwiński, Fixed-point definability in monadic Kleene algebras, manuscript, 1984.
10. D. Park, On the semantics of fair parallelism, in “Abstract Software Specifications”, Lecture Notes in Computer Science No. s6, pp. 504-526, Springer Verlag, Berlin 1980.
11. V.R. Pratt, Dynamic algebras; examples, constructions, applications, MIT/LCS/TM-138, Laboratory for Comp. Sci., 1979.
12. V.R. Pratt, A decidable μ-calculus (Preliminary Report), Proc. 22nd IEEE Symp. on Foundations of Computer Science, pp. 421-427, 1981.
13. J. Tiuryn, Fixed points and algebras with infinitely long expressions, Parts I, II. Fundamenta Informaticae 2, 1978