A category of transition systems and its relations with orthomodular posets (original) (raw)

Lecture Notes in Computer Science, 1997

Abstract

... Science, Florence, 1995. [Fer96] C. Ferigato, Note su a]ctme Propriet£ Algebriche, Logiche, Topologiche della Concorrenza, Tesi di Dottorato di Ricerca in Informatica, Universit~ degli Stud] eli Milano, 1996. [ER90] A. Ehrenfeueht ...

L. Pomello hasn't uploaded this paper.

Let L. know you want this paper to be uploaded.

Ask for this paper to be uploaded.