1922 search results - page 17 / 385 » Systems biology, models, and concurrency |
92
Voted
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
WOTUG
2007
14 years 10 months ago
2007
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Modal
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
125
click to vote
ARES
1998
Springer
15 years 1 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...