Old Web
English
Sign In
Acemap
>
Paper
>
Modeling and verification of distributed systems with labeled predicate transition nets
Modeling and verification of distributed systems with labeled predicate transition nets
1990
Jean-Christophe Lloret
Keywords:
Composition operator
Predicate (grammar)
Distributed parameter system
Petri net
Stochastic Petri net
Information theory
Distributed computing
Communications system
Theoretical computer science
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]