Binary Session Types for Psi-Calculi (Q3179282)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Binary Session Types for Psi-Calculi	scientific article

Statements

scholarly article

0 references

Binary Session Types for Psi-Calculi (English)

0 references

0 references

Programming Languages and Systems

0 references

publication date

21 December 2016

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-47958-3_6

0 references

Psi-calculi: a framework for mobile processes with nominal data and logic

0 references

Using Higher-Order Contracts to Model Session Types (Extended Abstract)

0 references

On Duality Relations for Session Types

0 references

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

0 references

A theory of contracts for web services

0 references

Session types revisited

0 references

Nominal (Universal) Algebra: Equational Logic with Names and Binding

0 references

Bounded polymorphism in session types

0 references

Subtyping for session types in the pi calculus

0 references

A Linear Account of Session Types in the Pi Calculus

0 references

0 references

Typed ψ-calculi

0 references

Types for Resources in $$\psi $$-calculi

0 references

A generic type system for the pi-calculus

0 references

A New Type System for Deadlock-Free Processes

0 references

Analysing input/output-capabilities of mobile processes with a generic type system

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-47958-3_6

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3179282

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3179282&oldid=36296848"