×

zbMATH — the first resource for mathematics

A context dependent equivalence between processes. (English) Zbl 0612.68027
Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 373-382 (1985)] in Zbl 0566.68023.

MSC:
68N25 Theory of operating systems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Brookes, S.D.; Rounds, W.C., Behavioral equivalence induced by programming logics, (), 97-108
[2] Dijkstra, E., A discipline of programming, () · Zbl 0368.68005
[3] Graf, S.; Sifakis, J., A modal characterization of observational congruence on finite terms of CCS, (), 222-234 · Zbl 0551.68034
[4] Hennessy, M.; Plotkin, G.D., A term model for CCS, (), 261-274 · Zbl 0479.68011
[5] Hennessy, M., A term model for synchronous processes, () · Zbl 0503.68022
[6] Hennessy, M.; Milner, R., On observing nondeterminism and concurrency, (), 299-309 · Zbl 0441.68018
[7] Hennessy, M.; Milner, R., Algebraic laws for nondeterminism and concurrency, J. ACM, 32, 137-161, (1985) · Zbl 0629.68021
[8] Hoare, C.; Brookes, S.; Roscoe, A., A theory of communicating sequential proceses, J. ACM, 31, 560-599, (1984) · Zbl 0628.68025
[9] Keller, R., A fundamental theorem of asynchronous parallel computation, (), 102-112
[10] Larsen, K.G., Context-dependent bisimulation between processes, ()
[11] Milner, R., An algebraic definition of simulation between programs, (), 481-488
[12] Milner, R., ()
[13] Milner, R., ()
[14] Milner, R., A complete inference system for a class of regular behaviours, () · Zbl 0562.68065
[15] Milner, R., Calculi for synchrony and asynchrony, Theoret. comput. sci., 25, 267-310, (1983) · Zbl 0512.68026
[16] Milner, R., Lectures on a calculus for communicating systems, (), to appear. · Zbl 0609.68021
[17] de Nicola, R.; Hennessy, M., Testing equivalences for processes, Theoret. comput. sci., 34, 83-133, (1984) · Zbl 0985.68518
[18] Park, D., Concurrency and automata on infinite sequences, () · Zbl 0457.68049
[19] Plotkin, G.D., A structured approach to operational semantics, () · Zbl 0512.68012
[20] Plotkin, G.D., An operational semantics for CSP, (), 199-223 · Zbl 0512.68012
[21] Stirling, C., A proof-theoretic characterization of observational equivalence, Theoret. comput. sci., 39, 27-45, (1985) · Zbl 0567.68020
[22] Stirling, C., A complete modal proof system for a subset of SCCS, (), 253-266
[23] Stirling, C., A complete compositional modal proof system for a subset of CCS, (), 475-486
[24] Tarski, A., A lattice-theoretical fixpoint theorem and its applications, Pac. J. math., 5, 285-309, (1955) · Zbl 0064.26004
[25] Winskel, G., A complete proof system for SCCS with modal assertions, () · Zbl 0586.68024
[26] Winskel, G., On the composition and decomposition of assertions, () · Zbl 0567.68014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.