Reasoning about dynamically evolving process structures

P.H.M. America; F.S. Boer, de

doi:10.1007/BF01215408

Reasoning about dynamically evolving process structures

P.H.M. America, F.S. Boer, de

Mathematics and Computer Science

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

24 Citations (Scopus)

Abstract

We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.

Original language	English
Pages (from-to)	269-316
Journal	Formal Aspects of Computing
Volume	6
Issue number	3
DOIs	https://doi.org/10.1007/BF01215408
Publication status	Published - 1994

Access to Document

10.1007/BF01215408

Cite this

@article{f10f952124094f70b47d7da84917c5b6,

title = "Reasoning about dynamically evolving process structures",

abstract = "We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.",

author = "P.H.M. America and {Boer, de}, F.S.",

year = "1994",

doi = "10.1007/BF01215408",

language = "English",

volume = "6",

pages = "269--316",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery, Inc",

number = "3",

}

TY - JOUR

T1 - Reasoning about dynamically evolving process structures

AU - America, P.H.M.

AU - Boer, de, F.S.

PY - 1994

Y1 - 1994

N2 - We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.

AB - We develop a Hoare-style proof system for reasoning about the behaviour of processes that interact via a dynamically evolving communication structure.

U2 - 10.1007/BF01215408

DO - 10.1007/BF01215408

M3 - Article

SN - 0934-5043

VL - 6

SP - 269

EP - 316

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -

Reasoning about dynamically evolving process structures

Abstract

Access to Document

Fingerprint

Cite this