2013-11-01
Rational Operational Models
Publication
Publication
Presented at the
Conference on the Mathematical Foundations of Programming Semantics
| Additional Metadata | |
|---|---|
| Elsevier B.V. | |
| D. Kozen , M.W. Mislove | |
| Electronic Notes in Theoretical Computer Science | |
| Conference on the Mathematical Foundations of Programming Semantics | |
| Organisation | Computer Security |
|
Milius, S., Bonsangue, M., Meyers, R. S. R., & Rot, J. (2013). Rational Operational Models. In D. Kozen & M. W. Mislove (Eds.), Electronic Notes in Theoretical Computer Science. Elsevier B.V. |
|