Characterisations of testing preorders for a finite probabilistic φ-calculus
dc.contributor.author | Deng, Yuxin | |
dc.contributor.author | Tiu, Alwen | |
dc.date.accessioned | 2015-12-10T23:18:57Z | |
dc.date.issued | 2012 | |
dc.date.updated | 2016-02-24T08:39:05Z | |
dc.description.abstract | We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite η-calculus: one based on notions of probabilistic weak simulations, and the other on a probabilistic extension of a fragment of Milner-Par | |
dc.identifier.issn | 0934-5043 | |
dc.identifier.uri | http://hdl.handle.net/1885/65851 | |
dc.publisher | Springer | |
dc.source | Formal Aspects of Computing | |
dc.subject | Keywords: Bisimulations; Characteristic formula; Characteristic test; Modal logic; Non-probabilistic; Preorders; Probabilistic extension; Probabilistic process; Scoping; Simulation relation; Testing equivalence; Testing semantics; Biomineralization; Calculations; S Bisimulation; Modal logic; Probabilistic f-calculus; Testing semantics | |
dc.title | Characterisations of testing preorders for a finite probabilistic φ-calculus | |
dc.type | Journal article | |
local.bibliographicCitation.issue | 4-Jun | |
local.bibliographicCitation.lastpage | 726 | |
local.bibliographicCitation.startpage | 701 | |
local.contributor.affiliation | Deng, Yuxin, Chinese Academy of Sciences | |
local.contributor.affiliation | Tiu, Alwen, College of Engineering and Computer Science, ANU | |
local.contributor.authoremail | repository.admin@anu.edu.au | |
local.contributor.authoruid | Tiu, Alwen, u4301469 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
local.identifier.ariespublication | f5625xPUB1171 | |
local.identifier.citationvolume | 24 | |
local.identifier.doi | 10.1007/s00165-012-0238-3 | |
local.identifier.scopusID | 2-s2.0-84865419763 | |
local.identifier.thomsonID | 000305703400002 | |
local.identifier.uidSubmittedBy | f5625 | |
local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 01_Deng_Characterisations_of_testing_2012.pdf
- Size:
- 424.02 KB
- Format:
- Adobe Portable Document Format