|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
85 | Ryszard Janicki, Dai Tri Man Le |
Modelling concurrency with comtraces and generalized comtraces. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
85 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Comtraces and Generalized Comtraces |
CoRR |
2009 |
DBLP BibTeX RDF |
|
66 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Quotient Monoids. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|