3575 search results - page 450 / 715 » Modeling Concurrency with Geometry |
169
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
168
click to vote
VLSID
2005
IEEE
16 years 5 days ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
173
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
169
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
166
click to vote
BIRTHDAY
2004
Springer
16 years 4 hour ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...