251 search results - page 21 / 51 » Priority and Abstraction in Process Algebra |
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
CONCUR
2000
Springer
14 years 4 days ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...