Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 - Algebraic structure - Document - PDFSEARCH.IO

First Page	Meta Content
	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Document Date: 2012-08-29 05:02:53 Open Document File Size: 779,13 KB Share Result on Facebook Company Jifeng He1 Shengchao Qin3 1 Shanghai Key Laboratory / Background 1 Complex Software Systems / / Currency pence / / Facility African Institute / East China Normal University / University of Teesside UTP / Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute / / Organization East China Normal University / School of Computing / Trustworthy Computing Software Engineering Institute / University of Teesside UTP / Institute for Mathematical Sciences / / Region East China / / SocialTag Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics

Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2Add to Reading List