315 search results - page 15 / 63 » What is algebraic in process theory |
SYNASC
2007
IEEE
14 years 1 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
AB
2007
Springer
14 years 28 days ago
2007
Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
ESOP
2001
Springer
13 years 11 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
Book
"This is a book about using electronic techniques to record, synthesize, process,
and analyze musical sounds, a practice which came into its modern form in the
years 1948-19...
CONCUR
2000
Springer
13 years 11 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...