Asynchronous communication model based on linear logic (Q1898813): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Computational interpretations of linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Theory of Communicating Sequential Processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4385532 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4027625 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generative communication in Linda / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A linear space algorithm for computing maximal common subsequences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992908 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculi for synchrony and asynchrony / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4038690 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing equivalences for processes / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01211602 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2013535402 / rank | |||
Normal rank |
Latest revision as of 09:30, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Asynchronous communication model based on linear logic |
scientific article |
Statements
Asynchronous communication model based on linear logic (English)
0 references
25 September 1995
0 references
linear logic programming
0 references
phase semantics
0 references