Modal logic and process algebra : a bisimulation perspective ; [papers presented at a Workshop Called Three Days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam]

Modal logic and process algebra a bisimulation perspective ; [papers presented at a Workshop Called Three Days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam]

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Workshop Called Three Days of Bisimulation (BerichterstatterIn)
Weitere Verfasser: Ponse, Alban (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Stanford, Calif. CSLI Publ. 1995
Schriftenreihe:CSLI lecture notes 53
Schlagworte:
Formal languages > Congresses > Modality (Logic) > Parallel processing (Electronic computers) > Konferenzschrift > Modallogik > Formale Sprache
Online Zugang:Verlagsangaben
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:XIX, 327 S.
graph. Darst.
ISBN:188152695X
1-881526-95-X
1881526968
1-881526-96-8