Pure pattern calculus

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Jay, B
dc.contributor.author Kesner, D
dc.contributor.editor Sestoft, P
dc.date.accessioned 2009-11-09T02:43:48Z
dc.date.issued 2006-01-01
dc.identifier.citation PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 3924 pp. 100 - 114 (15)
dc.identifier.isbn 3-540-33095-X
dc.identifier.issn 0302-9743
dc.identifier.other E1 en_US
dc.identifier.uri http://hdl.handle.net/10453/1684
dc.publisher SPRINGER-VERLAG BERLIN
dc.title Pure pattern calculus
dc.type Conference Proceeding
dc.description.version Published
dc.parent PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS
dc.journal.volume 3924
dc.journal.number en_US
dc.publocation Berlin, Germany en_US
dc.identifier.startpage 100 en_US
dc.identifier.endpage 114 en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.conference 15th European Symposium on Programming
dc.conference.location Austria en_US
dc.for 0803 Computer Software
dc.personcode 930303
dc.percentage 100 en_US
dc.classification.name Computer Software en_US
dc.classification.type FOR-08 en_US
dc.custom European Symposium on Programming en_US
dc.date.activity 20060327 en_US
dc.date.activity 2006-03-27
dc.location.activity Austria en_US
dc.location.activity Vienna, AUSTRIA
dc.description.keywords Science & Technology
dc.description.keywords Technology
dc.description.keywords Computer Science, Software Engineering
dc.description.keywords Computer Science, Theory & Methods
dc.description.keywords Computer Science
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/Faculty of Engineering and Information Technology/School of Software
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
pubs.consider-herdc true
utslib.collection.history School of Software (ID: 337)
utslib.collection.history Closed (ID: 3)


Files in this item

This item appears in the following Collection(s)

Show simple item record