Author:
Borgia R.,Degano P.,Priami C.,Leth L.,Thomsen B.
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Safety Critical Java Programs to Timed Process Models;Programming Languages with Applications to Biology and Security;2015
2. Analysis of Facile programs: A case study;Analysis and Verification of Multiple-Agent Languages;1997
3. Mobile processes with local clocks;Analysis and Verification of Multiple-Agent Languages;1997
4. Logical and operational methods in the analysis of programs and systems;Analysis and Verification of Multiple-Agent Languages;1997
5. Programming languages, analysis tools, and concurrency theory;ACM Computing Surveys;1996-12