Composable partial multiparty session types for open systems

to related objects

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

Bibliographic citation
Composable partial multiparty session types for open systems ; day:28 ; month:9 ; year:2022 ; pages:1-22
Software and systems modeling ; (28.9.2022), 1-22

Creator
Stolze, Claude
Miculan, Marino
Di Gianantonio, Pietro
Contributor
SpringerLink (Online service)

DOI
10.1007/s10270-022-01040-x
URN
urn:nbn:de:101:1-2022121621025253238821
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:34 AM CEST

Data provider

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

Associated

  • Stolze, Claude
  • Miculan, Marino
  • Di Gianantonio, Pietro
  • SpringerLink (Online service)

Other Objects (12)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

zweidimensionales bewegtes Bild

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

Secure Multi-Party Applications in Open Enclave

zweidimensionales bewegtes Bild

Secure Multi-Party Applications in Open Enclave

Partial abstract types

Partial abstract types

Nested Session Types

zweidimensionales bewegtes Bild

Nested Session Types

Gradual session types

Gradual session types

Gradual session types

Gradual session types

Label-dependent session types

Label-dependent session types

Mixed choice in session types

Mixed choice in session types

Everlasting Multi-party Computation

Everlasting Multi-party Computation

Relating functional and imperative session types

Relating functional and imperative session types

Partial order semantics of types of Nets

Partial order semantics of types of Nets

Advantages of Types in Partial-Order Planning

Advantages of Types in Partial-Order Planning

Related objects