860 search results - page 19 / 172 » A Process Algebra Based Verification of a Production System |
IFIP8
2007
13 years 9 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
WSC
2008
13 years 10 months ago
2008
In an industrial fabrication shop, such as pipe spool and steel fabrication, a product usually travels in the system in the form of raw materials or components of the product. Dur...
APN
1995
Springer
13 years 11 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
SEMWEB
2009
Springer
14 years 6 days ago
2009
Springer
—A challenge in providing scientific data services to a broad user base is to also provide the metadata services and tools the user base needs to correctly interpret and trust t...