Publication:
On Specifying Timeouts
On Specifying Timeouts
dc.contributor.author | van Glabbeek, Robert | en_US |
dc.date.accessioned | 2021-11-25T15:26:26Z | |
dc.date.available | 2021-11-25T15:26:26Z | |
dc.date.issued | 2006 | en_US |
dc.description.abstract | This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task. | en_US |
dc.identifier.issn | 1571-0661 | en_US |
dc.identifier.uri | http://hdl.handle.net/1959.4/44466 | |
dc.language | English | |
dc.language.iso | EN | en_US |
dc.rights | CC BY-NC-ND 3.0 | en_US |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | en_US |
dc.source | Legacy MARC | en_US |
dc.subject.other | Linear algebra | en_US |
dc.subject.other | Computation theory | en_US |
dc.subject.other | Petri nets | en_US |
dc.subject.other | Concurrency control | en_US |
dc.title | On Specifying Timeouts | en_US |
dc.type | Journal Article | en |
dcterms.accessRights | open access | |
dspace.entity.type | Publication | en_US |
unsw.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
unsw.description.publisherStatement | Electronic Notes in Theoretical Computer Science is available via: http://www.sciencedirect.com/science/journal/15710661 | en_US |
unsw.identifier.doiPublisher | http://dx.doi.org/10.1016/j.entcs.2005.12.083 | en_US |
unsw.relation.faculty | Engineering | |
unsw.relation.ispartofissue | 1 | en_US |
unsw.relation.ispartofjournal | Electronic Notes in Theoretical Computer Science | en_US |
unsw.relation.ispartofpagefrompageto | 173-175 | en_US |
unsw.relation.ispartofvolume | 162 | en_US |
unsw.relation.originalPublicationAffiliation | van Glabbeek, Robert, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1