1788 search results - page 64 / 358 » Model Theory for Process Algebra |
114
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
DBPL
2003
Springer
15 years 5 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
119
Voted
AMAST
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
82
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
The model presented in this paper incorporates various causal and feedback loops in the structure of the dynamic decision-making processes and performance in nonequity alliances. ...
113
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...