117 search results - page 1 / 24 » Bochvar-McCarthy Logic and Process Algebra |
NDJFL
1998
13 years 4 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
EUSFLAT
2009
13 years 2 months ago
2009
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
CSL
1999
Springer
13 years 9 months ago
1999
Springer
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 Ï...