36 search results - page 1 / 8 » A Compositional Trace Semantics for Orc |
COORDINATION
2008
Springer
14 years 24 days ago
2008
Springer
WSFM
2007
Springer
14 years 5 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
TCS
2008
13 years 11 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
IFIPTCS
2010
13 years 9 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
JLP
2011
13 years 1 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...