376
Voted
PPDP
2015
Springer
9 years 11 months ago
2015
Springer
Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelism `a la Esterel to program reactive applications. Our purpose was to demons...
387
Voted
PPDP
2015
Springer
9 years 11 months ago
2015
Springer
Session-based concurrency is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an operational or dec...
342
Voted
PPDP
2015
Springer
9 years 11 months ago
2015
Springer
We propose Lasp, a new programming model designed to simplify large-scale distributed programming. Lasp combines ideas from deterministic dataflow programming together with con...
98
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
We present ASSA-PBN, a tool for approximate steady-state analysis of large probabilistic Boolean networks (PBNs). ASSA-PBN contains a constructor, a simulator, and an analyser whic...