ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
19
views
14
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,679
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Relations and Kleene Algebra in Computer Science
Using Probabilistic Kleene Algebra for Protocol Verification
other
Author(s):
A. K. McIver
,
E. Cohen
,
C. C. Morgan
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genome Engineering using CRISPR
Most cited references
14
Record
: found
Abstract
: not found
Article
: not found
Kleene algebra with tests
Dexter Kozen
(1997)
0
comments
Cited
62
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Probabilistic predicate transformers
Annabelle McIver
,
Karen Seidel
,
Carroll Morgan
(1996)
0
comments
Cited
53
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Probabilistic models for the guarded command language
A. McIver
,
He Jifeng
,
K. Seidel
(1997)
0
comments
Cited
20
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 296-310
DOI:
10.1007/11828563_20
SO-VID:
f23328cf-b18e-4b0c-8cc9-57793b1f5fc8
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 402
Monodic Tree Kleene Algebra
pp. 192
Max-Plus Convex Geometry
pp. 296
Using Probabilistic Kleene Algebra for Protocol Verification
Similar content
4,679
Theorem proving for classical logic with partial functions by reduction to Kleene logic
Authors:
Hans de Nivelle
The Kleene Symposium (Proc. Sympos., Univ. Wisconsin, Madison, Wis., 1978)
Authors:
S Alexander
Topologicality of Kleene algebras with a weak pseudocomplementation over distributive p-algebras
Authors:
A. SENDLEWSKI
See all similar
Cited by
4
Towards a linear algebra of programming
Authors:
José N. Oliveira
Monodic Tree Kleene Algebra
Authors:
Toshinori Takai
,
Hitoshi Furusawa
Generalising KAT to verify weighted computations
Authors:
Leandro G. Gomes
,
Alexandre Madeira
,
Luis Barbosa
See all cited by