154 search results - page 1 / 31 » Comparison of Process Algebra Equivalences Using Formats |
ICALP
1999
Springer
13 years 11 months ago
1999
Springer
SAJ
2000
13 years 7 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
CATS
2008
13 years 8 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
FMCO
2005
Springer
14 years 28 days ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
EMISA
2004
Springer
14 years 24 days ago
2004
Springer
: This paper addresses heterogeneity of business process metamodels and related interchange formats. The different approaches towards interchange format design and effects of inter...