2171 search results - page 34 / 435 » A Generic Process Algebra |
84
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
155
Voted
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...
105
click to vote
ENTCS
2008
15 years 21 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...
94
Voted
ENTCS
2007
15 years 18 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
106
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...