No label defined (Q5020946)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7453964

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7453964

Statements

scholarly article

0 references

0 references

publication date

7 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2008.13358

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2020.7

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings

0 references

Session Types as Intuitionistic Linear Propositions

0 references

Relating state-based and process-based concurrency through linear logic (full-version)

0 references

Weak and strong fairness in CCS

0 references

0 references

Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings

0 references

An introduction to (co)algebra and (co)induction

0 references

A calculus of communicating systems

0 references

Linear logical relations and observational equivalences for session-based concurrency

0 references

Polarized Substructural Session Types

0 references

Introduction to Bisimulation and Coinduction

0 references

Higher-Order Processes, Functions, and Sessions: A Monadic Integration

0 references

Proof-Carrying Code in a Session-Typed Process Calculus

0 references

Propositions as sessions

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020946

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