Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Acta Informatica
Volumes and issues
Volume 32, Issue 6
Acta Informatica
Publishing model
:
Hybrid
Submit your manuscript
Back to overview
Editorial board
Aims and scope
Journal updates
Search all Acta Informatica articles
Volume 32, Issue 6
June 1995
3 articles in this issue
Concurrent testing of processes
M. Hennessy
OriginalPaper
Pages: 509 - 543
Contextual nets
Ugo Montanari
Francesca Rossi
OriginalPaper
Pages: 545 - 596
IEH graphs
Sumit Sur
Pradip K. Srimani
OriginalPaper
Pages: 597 - 609
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research