575 search results - page 9 / 115 » A Calculus for Interaction Nets |
ACIIDS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
CADE
1994
Springer
14 years 26 days ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
ECOOP
1995
Springer
14 years 9 days ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
FUIN
2006
13 years 8 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
CORR
2009
Springer
13 years 6 months ago
2009
Springer