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!

Keine Ergebnisse!