Topology in process calculus. I: Limit behaviour of agents

DOI10.1007/BF02948735zbMath0937.68048MaRDI QIDQ1964363

Ming Sheng Ying

Publication date: 28 May 2000

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

zbMATH Keywords

transitional semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

Topological Construction of Parameterized Bisimulation Limit ⋮ Bisimulation indexes and their applications

Cites Work

• Unnamed Item
• Unnamed Item
• Algebra of communicating processes with abstraction
• A calculus of communicating systems
• Communicating sequential processes
• A logic for approximate reasoning