1788 search results - page 26 / 358 » Model Theory for Process Algebra |
101
Voted
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
105
click to vote
ENTCS
2008
15 years 17 days ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
TACS
1991
Springer
15 years 4 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
64
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
92
Voted
UAI
1989
15 years 1 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...