English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

A Higher-Order Logic for Concurrent Termination-Preserving Refinement

MPS-Authors
/persons/resource/persons144769

Jung,  Ralf
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

External Resource
No external resources are shared
Fulltext (public)

1701.05888.pdf
(Preprint), 739KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Tassarotti, J., Jung, R., & Harper, R. (2017). A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In H. Yang (Ed.), Programming Languages and Systems (pp. 909-936). Berlin: Springer. doi:10.1007/978-3-662-54434-1_34.


Cite as: http://hdl.handle.net/21.11116/0000-0000-7619-0
Abstract
There is no abstract available