A formal semantics for DAI language NUML

DOI10.1007/BF02943490zbMath0837.68066OpenAlexW2048745030MaRDI QIDQ1894325

Fancong Zeng, Jinwen Dai, Manwu Xu, Jian-feng Lu

Publication date: 27 August 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943490

zbMATH Keywords

\(\pi\)-calculusdistributed artificial intelligence

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55)

Related Items (1)

NUML

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification theory
• The chemical abstract machine
• A calculus of mobile processes. I
• Plain CHOCS. A second generation calculus for higher order processes
• Objects in the \(\pi\)-calculus

This page was built for publication: A formal semantics for DAI language NUML