7109 search results - page 62 / 1422 » Process Algebra with Combinators |
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
ICIP
2005
IEEE
15 years 3 months ago
2005
IEEE
TSD
2005
Springer
15 years 3 months ago
2005
Springer
FCT
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
107
click to vote
PDS
1996
14 years 11 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...