COSY: its relation to nets and to CSP
Authors:
E Best
Affiliations:
-
Venue:
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Year:
1987
Citing
0
Cited
1
Bounded Delay Timing Analysis of a Class of CSP Programs
Formal Methods in System Design
Quantified Score
Hi-index
0.00
Visualization
Abstract