@article{cdb52c47839c44d39ffc471959392f53,
title = "A model of reconfiguration in communicating sequential processes with a notion of transactions",
keywords = "1992, csp, distributed, formal-methods, operating-system, reconfigurable, semantics, software-engineering, specification, system",
author = "Jacob, {Jeremy L.}",
year = "1992",
month = jan,
day = "1",
doi = "10.1016/0020-0190(92)90073-5",
language = "Other",
volume = "41",
pages = "9--12",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "1",
}