Author:
De Nicola R.,Fantechi A.,Gnesi S.,Ristori G.
Reference35 articles.
1. Algèbre de processus et synchronization;Austry;Theoret. Comput. Sci.,1984
2. Requirement analysis for communication protocols;Azéma,1990
3. Process Algebra;Baeten,1990
4. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISDN Systems,1987
5. The Formal Description Techniques LOTOS,1989
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embeddings Between State and Action Based Probabilistic Logics;Formal Aspects of Component Software;2022
2. State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains;Lecture Notes in Computer Science;2021
3. Compositional Specification in Rewriting Logic;Theory and Practice of Logic Programming;2019-10-09
4. Generating Linear Temporal Logics Based on Property Specification Templates;Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing;2019-08-23
5. Hunting Superfluous Locks with Model Checking;From Software Engineering to Formal Methods and Tools, and Back;2019