Characteristic bisimulation for higher-order session processes. (2017)
Attributed to:
From Data Types to Session Types---A Basis for Concurrency and Distribution
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s00236-016-0289-7
PubMed Identifier: 32103830
Publication URI: http://europepmc.org/abstract/MED/32103830
Type: Journal Article/Review
Volume: 54
Parent Publication: Acta informatica
Issue: 3
ISSN: 0001-5903