Author:
van de Snepscheut Jan L. A.
Publisher
Springer Berlin Heidelberg
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Specification Theory of Real-Time Processes;Concurrency, Security, and Puzzles;2016-12-18
2. Computing and the cultures of proving;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2005-09-09
3. Synchronized shuffles;Theoretical Computer Science;2005-09
4. Implementation of Handshake Components;Communicating Sequential Processes. The First 25 Years;2005
5. Team Automata Satisfying Compositionality;FME 2003: Formal Methods;2003