Analysis of Distributed Systems
| dc.contributor.author | Tejfel, Máté | |
| dc.date.accessioned | 2026-09-09T13:44:36Z | |
| dc.date.issued | 2014 | |
| dc.format | ||
| dc.format.extent | 216 p. | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/77760 | |
| dc.language | angol | |
| dc.language.rfc3066 | en | |
| dc.subject | informatics | en |
| dc.subject | distributed systems | en |
| dc.subject | Petri nets | en |
| dc.subject | behavioral properties | en |
| dc.subject | operator boxes | en |
| dc.subject | labelled transition systems | en |
| dc.subject | communicating sequential processes | en |
| dc.title | Analysis of Distributed Systems | en |
| dc.type | Tananyag | |
| dspace.entity.type | LearningObject | |
| relation.isAuthorOfLearningObject | 5b566a2e-3daa-478e-b082-98765827c66f | |
| relation.isAuthorOfLearningObject.latestForDiscovery | 5b566a2e-3daa-478e-b082-98765827c66f |
Files
Original bundle
1 - 1 of 1