eBook
Relating Maximality-based Semantics to Action Refinement in Process Algebras
| Τίτλος: | Relating Maximality-based Semantics to Action Refinement in Process Algebras |
|---|---|
| Συγγραφείς: | Courtiat, J. P.Aff2, Saïdouni, D. E.Aff2 |
| Συνεισφορές: | Hogrefe, Dieter, editorAff1, Leue, Stefan, editorAff1 |
| Πηγή: | Formal Description Techniques VII : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques. :293-308 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| ISBN: | 9781504128810 9780387348780 |
|---|---|
| DOI: | 10.1007/978-0-387-34878-0_24 |