×

\(\pi\)-calculus models of synchronous and asynchronous message passing (extended abstract). (English) Zbl 0885.68105

Groves, Lindsay (ed.) et al., Formal methods Pacific ’97. Proceedings of FMP ’97, July 9–11, 1997, Wellington, New Zealand. Singapore: Springer. 309-310 (1997).
We consider extensibility and re-use of \(\pi\)-calculus models and the extent to which existing behavioural equivalences for the \(\pi\)-calculus are adequate. We discuss extending specifications so that models conform to lower level protocols. This permits more flexible composition of the models, with switchable protocols, all of which can be modeled in the \(\pi\)-calculus. We model a channel as a simple one place buffer, then show how the definition of the buffer may be extended to allow channel connection and disconnection.
For the entire collection see [Zbl 0877.00014].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite