Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

Jan Friso Groote; Alban Ponse

doi:10.1007/BF01221097

Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Article number	2
Pages (from-to)	115-164
Number of pages	50
Journal	Formal Aspects of Computing
Volume	6
Issue number	2
DOIs	https://doi.org/10.1007/BF01221097
Publication status	Published - 1994

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

10.1007/BF01221097

https://dblp.org/db/journals/fac/fac6.html#GrooteP94

Cite this

@article{40d64972b7094763bf9311438c3efba2,

title = "Process Algebra with Guards: Combining Hoare Logic with Process Algebra.",

author = "Groote, {Jan Friso} and Alban Ponse",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "1994",

doi = "10.1007/BF01221097",

language = "English",

volume = "6",

pages = "115--164",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc",

number = "2",

}

TY - JOUR

T1 - Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

AU - Groote, Jan Friso

AU - Ponse, Alban

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 1994

Y1 - 1994

U2 - 10.1007/BF01221097

DO - 10.1007/BF01221097

M3 - Article

SN - 0934-5043

VL - 6

SP - 115

EP - 164

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 2

M1 - 2

ER -