State space reduction for process algebra specifications-Reference-Cited by-同舟云学术

State space reduction for process algebra specifications

Published:2006-02 Issue:2 Volume:351 Page:131-145
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Garavel Hubert,Serwe Wendelin

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. Compilers: Principles, Techniques and Tools;Aho,1986

2. G. Ailloud, Verification in ECRINS of LOTOS programs, in: Towards Practical Verification of LOTOS Specifications—ESPRIT/SEDOS/C2/N89.2–Second Year Project Report, ESPRIT/SEDOS/C2/N48.1, Universiteit Twente, Enschede, 1986.

3. M. Bozga, J.-C. Fernandez, L. Ghirvu, State space reduction based on live variables analysis, in: A. Cortesi, G. Filé (Eds.), Proc. 6th Internat. Symp. on Static Analysis SAS ’99, Venice, Italy, Lecture Notes in Computer Science, Vol. 1694, Springer, Berlin, 1999, pp. 164–178.

4. IF;Bozga,1999

5. An optimizing compiler for efficient model checking;Dong,1999

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Toolchain to Compute Concurrent Places of Petri Nets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01

2. Efficient Algorithms for Three Reachability Problems in Safe Petri Nets;Application and Theory of Petri Nets and Concurrency;2021

3. Iterative Variable Reordering: Taming Huge System Families;Electronic Proceedings in Theoretical Computer Science;2020-04-26

4. Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account;Application and Theory of Petri Nets and Concurrency;2020

5. Nested-unit Petri nets;Journal of Logical and Algebraic Methods in Programming;2019-04