1922 search results - page 96 / 385 » Systems biology, models, and concurrency |
138
Voted
CAISE
1995
Springer
15 years 5 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
106
click to vote
ENTCS
2007
15 years 1 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
182
Voted
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...