2171 search results - page 33 / 435 » A Generic Process Algebra |
98
Voted
TACAS
1999
Springer
15 years 4 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
IPL
1998
15 years 9 days ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
132
Voted
CORR
2004
Springer
15 years 14 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 15 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...