Sciweavers

3239 search results - page 157 / 648
» A Logical Process Calculus
Sort
View
APSEC
2000
IEEE
15 years 7 months ago
A process logic for distributed system synthesis
Yoshinao Isobe, Kazuhito Ohmaki
CSL
1999
Springer
15 years 7 months ago
A Logical Viewpoint on Process-Algebraic Quotients
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
Antonín Kucera, Javier Esparza