681 search results - page 12 / 137 » A Logic for True Concurrency |
FORMATS
2005
Springer
15 years 3 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
83
Voted
ICFP
2010
ACM
14 years 9 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...