Work

Algebraic Laws for Weak Consistency (Extended Version)

Year: 2017

Type: preprint

Abstract: It is shown that generally higher order process calculi cannot be interpreted in name-passing calculi in a robust way.

Source: arXiv (Cornell University)

DOI: 10.4230/lipics.concur.2017.22

Authors: Cerone, Andrea, Gotsman, Alexey, Yang, Hongseok

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Agence Nationale de la Recherche, National Natural Science Foundation of China

Awards: G455808707, 进程理论中的否定结果研究

OpenAlex ID: W2740094188

Cites: 1

Cited by:

Related to: 10