Linear vs. branching time: A semantical perspective
| dc.contributor.advisor | Vardi, Moshe Y. | |
| dc.creator | Nain, Sumit | |
| dc.date.accessioned | 2011-07-25T01:37:37Z | |
| dc.date.available | 2011-07-25T01:37:37Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | The discussion of the relative merits of linear versus branching-time goes back to early 1980s. The dominating belief has been that the linear-time framework is not expressive enough semantically, marking linear-time logics as weak. Here we examine this issue from the perspective of process equivalence, one of the most fundamental notions in concurrency theory. We postulate three principles that we view as fundamental to any discussion of process equivalence. First, we take contextual equivalence as the primary notion of equivalence. Second, we require the description of a process to fully specify all relevant behavioral aspects of the process. Finally, we require observable process behavior to be reflected in input/output behavior. Under these postulates the distinctions between the linear and branching semantics tend to evaporate. Applying them to the framework of transducers, we show that our postulates result in a unique notion of process equivalence, which is trace based, rather than tree based. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.callno | THESIS COMP. SCI. 2009 NAIN | |
| dc.identifier.citation | Nain, Sumit. "Linear vs. branching time: A semantical perspective." (2009) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/61759">https://hdl.handle.net/1911/61759</a>. | |
| dc.identifier.uri | https://hdl.handle.net/1911/61759 | |
| dc.language.iso | eng | |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | |
| dc.subject | Computer science | |
| dc.subject | Applied sciences | |
| dc.title | Linear vs. branching time: A semantical perspective | |
| dc.type | Thesis | |
| dc.type.material | Text | |
| thesis.degree.department | Computer Science | |
| thesis.degree.discipline | Engineering | |
| thesis.degree.grantor | Rice University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science |
Files
Original bundle
1 - 1 of 1