Abstract | ||
---|---|---|
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive freshname quantifier. Properties can also be defined by recursion; a central theme of this paper is then the combination of a logical notion of freshness with inductive and coinductive definitions of properties. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1016/j.tcs.2003.10.041 | TACS |
Keywords | Field | DocType |
logical notion,spatial operation,concurrent system,spatial logic,primitive freshname quantifier,temporal operator,coinductive definition,central theme,local name restriction | Temporal logic of actions,Interval temporal logic,Non-classical logic,Concurrency,Multimodal logic,Theoretical computer science,Linear temporal logic,Predicate logic,Dynamic logic (modal logic),Mathematics | Conference |
Volume | Issue | ISSN |
322 | 3 | Theoretical Computer Science |
ISBN | Citations | PageRank |
3-540-42736-8 | 39 | 2.37 |
References | Authors | |
16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luís Caires | 1 | 1037 | 63.30 |
Luca Cardelli | 2 | 6221 | 1002.41 |