Next: About this document ... Up: autoref_pol Previous: Podsumowanie

Literatura

1

Bidoit, M., Tarlecki A. Behavioural satisfaction and equivalence in concrete model categories. Manuscript. Wersja skrócona: Proc. 20th Coll. on Trees in Algebra and Computing CAAP'96, Linköping, LNCS 1059, 241-256, Springer-Verlag, 1996.

2

Joyal, A., Nielsen, G. Winskel, Bisimulation and open maps. Proc. 8th Annual Symposium on Logic in Computer Science LICS'93, 1993, 418-427. Również: Information and Computation, 127 (1996), 164-185.

3

Lasota, S. Open Maps as a Bridge between Algebraic Observational Equivalence and Bisimilarity. Proc. of 12th Workshop on Algebraic Developement Techniques, Tarquinia, June 1997, LNCS 1376, 285-299, Springer-Verlag. Pełna wersja ukazała się jako raport techniczny 97-12(249) w Instytucie Informatyki Uniwersytetu Warszzwskiego, 1997.

4

Lasota, S. Partial-Congruence Factorization of Bisimilarity Induced by Open Maps. Proc. 25th ICALP (1998), Aalborg, LNCS 1443, 91-102, Springer-Verlag, 1998.

5

Lasota, S. Weak Bisimilarity and Open Maps. Proc. 25th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM '98, LNCS 1521, 381-388, Springer-Verlag, 1998.

6

Lasota, S. Coalgebra morphisms subsume open maps. Proc. 2nd Workshop on Coalgebraic Methods in Computer Science CMCS '99, Amsterdam 1999, Electronic Notes in Theoretical Computer Science, 23-38, vol. 19.

7

Lasota, S. Coalgebra morphisms, open maps and observational homomorphisms. Rozszerzona wersja pracy [6], zgłoszona do publikacji.

8

Milner, R. Communication and concurrency. Prentice-Hall International Series in Computer Science, C. A. R. Hoare series editor, 1989.

9

Reichel, H. Behavioural Validity of Conditional Equations in Abstract Data Types. Proc. Vienna Conference on Contributions to General Algebra, 301-324, 1985.

---

Slawomir Lasota 2000-03-17