Characteristic bisimulation for higher-order session processes

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1432-0525
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Characteristic bisimulation for higher-order session processes ; day:24 ; month:12 ; year:2016 ; pages:1-71
Acta informatica ; (24.12.2016), 1-71

Classification
Informatik

Creator
Kouzapas, Dimitrios
Contributor
Pérez, Jorge A.
Yoshida, Nobuko
SpringerLink (Online service)

DOI
10.1007/s00236-016-0289-7
URN
urn:nbn:de:1111-201702212309
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:45 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Kouzapas, Dimitrios
  • Pérez, Jorge A.
  • Yoshida, Nobuko
  • SpringerLink (Online service)

Other Objects (12)