Characterisations of testing preorders for a finite probabilistic φ-calculus

Simple item page
dc.contributor.authorDeng, Yuxin
dc.contributor.authorTiu, Alwen
dc.date.accessioned2015-12-10T23:18:57Z
dc.date.issued2012
dc.date.updated2016-02-24T08:39:05Z
dc.description.abstractWe 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.issn0934-5043
dc.identifier.urihttp://hdl.handle.net/1885/65851
dc.publisherSpringer
dc.sourceFormal Aspects of Computing
dc.subjectKeywords: 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.titleCharacterisations of testing preorders for a finite probabilistic φ-calculus
dc.typeJournal article
local.bibliographicCitation.issue4-Jun
local.bibliographicCitation.lastpage726
local.bibliographicCitation.startpage701
local.contributor.affiliationDeng, Yuxin, Chinese Academy of Sciences
local.contributor.affiliationTiu, Alwen, College of Engineering and Computer Science, ANU
local.contributor.authoremailrepository.admin@anu.edu.au
local.contributor.authoruidTiu, Alwen, u4301469
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
local.identifier.ariespublicationf5625xPUB1171
local.identifier.citationvolume24
local.identifier.doi10.1007/s00165-012-0238-3
local.identifier.scopusID2-s2.0-84865419763
local.identifier.thomsonID000305703400002
local.identifier.uidSubmittedByf5625
local.type.statusPublished Version

Downloads

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Deng_Characterisations_of_testing_2012.pdf
Size:
424.02 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS