1195 search results - page 26 / 239 » Modeling an Algebraic Stepper |
154
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
139
click to vote
APLAS
2009
ACM
16 years 1 days ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
172
click to vote
TOPNOC
2008
15 years 5 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
141
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...