7109 search results - page 29 / 1422 » Process Algebra with Combinators |
133
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
119
Voted
PE
2010
Springer
14 years 7 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
149
Voted
ANSOFT
2002
15 years 16 days ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
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...