Coding Mobile Synchronizing Petri Nets into Rewriting Logic
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 1
Pages: 83-98
Type: Article
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 1
Pages: 83-98
Type: Article