Preface (Q5970649)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6148330

Language	Label	Description	Also known as
English	Preface	scientific article; zbMATH DE number 6148330

Statements

scholarly article

0 references

Preface (English)

0 references

0 references

Robert J. van Glabbeek

0 references

0 references

Formal Aspects of Computing

0 references

publication date

22 March 2013

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00165-012-0257-0

0 references

0 references

Characterising Testing Preorders for Finite Probabilistic Processes

0 references

Scalar Outcomes Suffice for Finitary Probabilistic Testing

0 references

Laws of programming

0 references

0 references

Using probabilistic Kleene algebra pKA for protocol verification

0 references

0 references

An elementary proof that Herman's ring is \(\Theta (N^{2})\)

0 references

Refinement-oriented probability for CSP

0 references

A theoretical basis for stepwise refinement and the programming calculus

0 references

The specification statement

0 references

0 references

The Shadow Knows: Refinement of Ignorance in Sequential Programs

0 references

The shadow knows: refinement and security in sequential programs

0 references

Specification of the UNIX Filing System

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

10.1007/S00165-012-0257-0

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5970649

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5970649&oldid=38801954"