An improvement of algorithms for solving interface equations

DOI10.1016/S0020-0190(98)00110-0zbMath1338.68204OpenAlexW2038290133MaRDI QIDQ293354

F. Blanchet-Sadri, M. Dambrine

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001100?np=y

zbMATH Keywords

interface equationconcurrencysubmodule construction

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• CCS expressions, finite state processes, and three problems of equivalence
• Factorisation of finite state machines under strong and observational equivalences
• Submodule construction as equation solving in CCS
• Constructing submodule specifications and network protocols
• On the Construction of Submodule Specifications and Communication Protocols

This page was built for publication: An improvement of algorithms for solving interface equations