- Record: found
- Abstract: not found
- Book Chapter: not found
Foundations of Software Science and Computational Structures
Freshness and Name-Restriction in Sets of Traces with Names
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references15
- Record: found
- Abstract: not found
- Book: not found
The SPIN Model Checker: Primer and Reference Manual
GJ Holzmann, G.J. Holzmann, G Holzmann … (2003)
- Record: found
- Abstract: not found
- Book Chapter: not found
Observable properties of higher order functions that dynamically create local names, or: What's new?
Andrew M. Pitts, Ian Stark (1993)
- Record: found
- Abstract: not found
- Book Chapter: not found
π-Calculus, Structured Coalgebras, and Minimal HD-Automata
Ugo Montanari, Marco Pistore (2000)