1532 search results - page 72 / 307 » An Algebraic Process Calculus |
202
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
187
click to vote
CSL
1999
Springer
15 years 11 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 ...
142
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
147
Voted
ISCAS
1993
IEEE
15 years 11 months ago
1993
IEEE
