Freshness and Name-Restriction in Sets of Traces with Names
| Authors |
|
|---|---|
| Publication date | 2011 |
| Host editors |
|
| Book title | Foundations of Software Science and Computational Structures |
| Book subtitle | 14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | Foundations of Software Science and Computational Structures: 14th International Conference |
| Pages (from-to) | 365-380 |
| Publisher | Heidelberg: Springer |
| Organisations |
|
| Abstract |
We use nominal sets (sets with names and binding) to define a framework for trace semantics with dynamic allocation of resources. Using novel constructions in nominal sets, including the technical devices of positive nominal sets and maximal planes, we define notions of capture-avoiding composition and name-restriction on sets of traces with names. We conclude with an extended version of Kleene algebras which summarises in axiomatic form the relevant properties of the constructions. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-19805-2_25
(Final published version)
|
| Permalink to this page | |