Work

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language

Year: 2012

Type: conference-paper

Source: International Conference on Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2012.21

Authors: Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver

Institutions: RWTH Aachen University, Macquarie University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2142393723

FWCI: 1.226

Cites: 21

Cited by: 9

Related to: 10