1788 search results - page 28 / 358 » Model Theory for Process Algebra |
109
click to vote
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
98
Voted
FORTE
2010
15 years 1 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
126
click to vote
JLP
2008
14 years 11 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
152
click to vote
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
141
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...