كتاب إلكتروني
Transitivity and Difunctionality of Bisimulations
| العنوان: | Transitivity and Difunctionality of Bisimulations |
|---|---|
| المؤلفون: | Zarrad, MehdiAff14, Gumm, H. PeterAff14 |
| المساهمون: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Josef, Kittler, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Hasuo, Ichiro, editorAff13 |
| المصدر: | Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. 9608:33-52 |
| قاعدة البيانات: | Springer Nature eBooks |
Full Text Finder | ردمك: | 9783319403694 9783319403700 |
|---|---|
| DOI: | 10.1007/978-3-319-40370-0_4 |