4 search results - page 1 / 1 » Message Sequence Graphs and Decision Problems on Mazurkiewic... |
60
Voted
MFCS
1999
Springer
15 years 3 months ago
1999
Springer
133
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
108
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
PODC
2009
ACM
16 years 5 days ago
2009
ACM
d Abstract] Prosenjit Bose School of Computer Science Carleton University Ottawa, Canada jit@scs.carleton.ca Paz Carmi Dept. of Computer Science Ben-Gurion Univ. of the Negev Beer-...