Adding recursion to Dpi (Q877023): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q2734510 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resource access control in systems of mobile agents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards a behavioural theory of access and mobility control in distributed systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive subtyping revealed / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CONCUR 2005 – Concurrency Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of bisimulation for a fragment of concurrent ML with local names / rank | |||
Normal rank |
Latest revision as of 17:46, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adding recursion to Dpi |
scientific article |
Statements
Adding recursion to Dpi (English)
0 references
19 April 2007
0 references
Dpi-calculus
0 references
recursion
0 references
implementation using replication
0 references
recursive and co-inductive types
0 references