A note on coinduction and weak bisimilarity for while programs

J. J. M. M. Rutten

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1999)

  • Volume: 33, Issue: 4-5, page 393-400
  • ISSN: 0988-3754

How to cite

top

Rutten, J. J. M. M.. "A note on coinduction and weak bisimilarity for while programs." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 33.4-5 (1999): 393-400. <http://eudml.org/doc/92611>.

@article{Rutten1999,
author = {Rutten, J. J. M. M.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {weak bisimilarity},
language = {eng},
number = {4-5},
pages = {393-400},
publisher = {EDP-Sciences},
title = {A note on coinduction and weak bisimilarity for while programs},
url = {http://eudml.org/doc/92611},
volume = {33},
year = {1999},
}

TY - JOUR
AU - Rutten, J. J. M. M.
TI - A note on coinduction and weak bisimilarity for while programs
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1999
PB - EDP-Sciences
VL - 33
IS - 4-5
SP - 393
EP - 400
LA - eng
KW - weak bisimilarity
UR - http://eudml.org/doc/92611
ER -

References

top
  1. [1] S. L. Bloom and Z. Ésik, The equational logic of fixed points. Theoret. Comput. Sci. 179 (1997) 1-60. Zbl0920.03067MR1454584
  2. [2] J. W. de Bakker, Mathematical theory of program correctness. Prentice-Hall International (1980). Zbl0452.68011MR603439
  3. [3] C. C. Elgot, Monadic computation and iterative algebraic theories, H.E. Rose and J.C. Shepherdson, Eds., Logic Colloquium '73. North-Holand, Stud. Log. Found. Math. 80 (1975) 175-230. Zbl0327.02040MR413584
  4. [4] R. Milner, Communication and Concurrency. Prentice Hall International, New York, Prentice Hall Internat. Ser. Comput. Sci. (1989). Zbl0683.68008
  5. [5] J. J. M. M. Rutten, Universal coalgebra: A theory of Systems. Report CS-R9652, CWI, 1996. FTP-available at ftp.cwi.nl as pub/CWIreports/AP/CS-R9652.ps.Z. Theoret. Comput. Sci., to appear. Zbl0951.68038MR1791953
  6. [6] J. J. M. M. Rutten, Automata and coinduction (an exercise in coalgebra). Report SEN-R9803, CWI, 1998. FTP-available at ftp.cwi.nl as pub/CWIreports/SEN/SEN-R9803.ps.Z. Also in the proceedings of CONCUR '98, Lecture Notes in Comput. Sci. 1466 (1998) 194-218. Zbl0940.68085MR1678749

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.