Recursive Equations In Higher-Order Process Calculi

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, M
dc.contributor.author Wirsing, M
dc.date.accessioned 2010-05-28T09:46:41Z
dc.date.issued 2001-01
dc.identifier.citation Theoretical Computer Science, 2001, 266 (1-Feb), pp. 839 - 852
dc.identifier.issn 0304-3975
dc.identifier.other C1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/8965
dc.description.abstract Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. In this paper, uniqueness of
dc.format No Code
dc.publisher Elsevier Science Bv
dc.relation.isbasedon 10.1016/S0304-3975(00)00378-9
dc.title Recursive Equations In Higher-Order Process Calculi
dc.type Journal Article
dc.parent Theoretical Computer Science
dc.journal.volume 1-Feb
dc.journal.volume 266
dc.journal.number 1-Feb en_US
dc.publocation Amsterdam en_US
dc.identifier.startpage 839 en_US
dc.identifier.endpage 852 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 080199 Artificial Intelligence and Image Processing Not Elsewhere Classified
dc.for 080203 Computational Logic and Formal Languages
dc.for 020603 Quantum Information, Computation and Communication
dc.personcode 103396
dc.percentage 50 en_US
dc.classification.name Computational Logic and Formal Languages en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords NA en_US
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
utslib.collection.history Closed (ID: 3)


Files in this item

This item appears in the following Collection(s)

Show simple item record