Boxed ambients with communication interfaces (Q5756976): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Trust and partial typing in open systems of mobile agents / 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: Equational properties of mobile ambients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correspondence assertions for process synchronization in concurrent communications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The seal calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mobile ambients / rank | |||
Normal rank |
Revision as of 14:49, 26 June 2024
scientific article; zbMATH DE number 5187870
Language | Label | Description | Also known as |
---|---|---|---|
English | Boxed ambients with communication interfaces |
scientific article; zbMATH DE number 5187870 |
Statements
Boxed ambients with communication interfaces (English)
0 references
6 September 2007
0 references
ambient calculus
0 references