State space reduction by non-standard semantics for deadlock analysis

Publisher Website

31 March 1998

journal article
Published by Elsevier in Science of Computer Programming

Vol. 30 (3) , 309-338
https://doi.org/10.1016/s0167-6423(97)00017-8

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science, 1995
Petri-net-based deadlock analysis of Process Algebra programs
Science of Computer Programming, 1994
Model checking and abstraction
ACM Transactions on Programming Languages and Systems, 1994
Minimal state graph generation
Science of Computer Programming, 1992
On the progress of communication between two finite state machines
Information and Control, 1984