240 search results - page 17 / 48 » Infinite trace equivalence |
JUCS
2006
13 years 8 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
ICGI
2010
Springer
13 years 9 months ago
2010
Springer
In this work, we give an algorithm that infers Regular Trace Languages. Trace languages can be seen as regular languages that are closed under a partial commutation relation called...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for ...
APPML
2005
13 years 8 months ago
2005
Two difficulties connected with the solution of Laplace's equation around an object inside an infinite circular cylinder are resolved. One difficulty is the nonconvergence of...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordin...