1788 search results - page 29 / 358 » Model Theory for Process Algebra |
123
Voted
CADE
1990
Springer
15 years 4 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
97
Voted
CCE
2008
15 years 18 days ago
2008
We review the use of bond graphs for modeling of physico-chemical processes. We recall that bond graphs define a circuit-type language which root on a thermodynamical consistent d...
91
Voted
APAL
2007
15 years 19 days ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
192
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
113
click to vote
AB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...