53 search results - page 2 / 11 » Projective Brane Calculus |
ENTCS
2002
13 years 5 months ago
2002
DAGSTUHL
2006
13 years 7 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
TIME
1994
IEEE
13 years 10 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
IANDC
2010
13 years 3 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...