Characteristic bisimulation for higher-order session processes

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1432-0525
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

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

Klassifikation
Informatik

Urheber
Kouzapas, Dimitrios
Beteiligte Personen und Organisationen
Pérez, Jorge A.
Yoshida, Nobuko
SpringerLink (Online service)

DOI
10.1007/s00236-016-0289-7
URN
urn:nbn:de:1111-201702212309
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:45 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

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

Ähnliche Objekte (12)

Higher-order computability

Higher-order computability

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order misinformation

Higher-order misinformation

Higher-order learning

Higher-order learning

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Explaining Higher-order Defeat

Explaining Higher-order Defeat

On Higher-Order Cryptography: Q/A Session B - Paper B4.D

zweidimensionales bewegtes Bild

On Higher-Order Cryptography: Q/A Session B - Paper B4.D

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Higher-order and symbolic computation

Zeitschrift

Higher-order and symbolic computation

Learning higher-order logic programs

Learning higher-order logic programs

Verbundene Objekte