11561 search results - page 398 / 2313 » A Language for Biochemical Systems |
237
click to vote
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
189
click to vote
SFM
2004
Springer
16 years 28 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
200
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...