2171 search results - page 16 / 435 » A Generic Process Algebra |
FUIN
2007
13 years 8 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
ICALP
2000
Springer
14 years 2 days ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
METRICS
2002
IEEE
14 years 1 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...