Universal Coinductive Characterisations of Process Semantics release_mrymnggar5fhll7kbjoilb7efy

by David de Frutos Escrig, Carlos Gregorio Rodríguez

Published in IFIP International Federation for Information Processing by Springer US.

p397-412

Archived Files and Locations

application/pdf  548.0 kB
file_opslcr4fzjalhcafceu3mtjljm
web.archive.org (webarchive)
link.springer.com (publisher)
application/pdf  1.4 MB
file_mz6zchegmnanrau3f4vwb52y4y
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1571-5736
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6bf53a2f-54e6-435a-a09b-c649794f734c
API URL: JSON