2167 search results - page 45 / 434 » Stochastic Process Algebras |
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
BIRTHDAY
2000
Springer
14 years 2 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...
CSL
1999
Springer
14 years 1 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 ...
ICALP
1999
Springer
14 years 1 months ago
1999
Springer
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL