Modal logic and process algebra : a bisimulation perspective

Modal logic and process algebra a bisimulation perspective

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ponse, Alban (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Stanford, Calif. Center for the Study of Language and Information 1995
Schriftenreihe:Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 53
Schlagworte:
Lenguajes formales - Congresos > Modalidad (Lógica) - Congresos > Procesamiento de datos - Congresos > Formale Sprache > Modallogik > Parallelverarbeitung > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIX, 327 S.
graph. Darst.
ISBN:188152695X
1-881526-95-X