Logic of transition systems
- 1 December 1994
- journal article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 3 (4) , 247-283
- https://doi.org/10.1007/bf01160018
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Three logics for branching bisimulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Three logics for branching bisimulationJournal of the ACM, 1995
- On sequential composition, action prefixes and process prefixFormal Aspects of Computing, 1994
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Process algebra for synchronous communicationInformation and Control, 1984
- Dynamic LogicPublished by Springer Nature ,1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Fundamentals of Model TheoryPublished by Elsevier ,1977
- On the connection of partially ordered sets with some pseudo-Boolean algebrasIndagationes Mathematicae, 1966