3 search results - page 1 / 1 » Types for BioAmbients |
53
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
122
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
121
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...