Synchronous and asynchronous communication(s) between three parties | Acta Informatica Skip to main content
Springer Nature Link
Log in

Synchronous and asynchronous communication(s) between three parties

  • Private Contribution
  • Published:
Acta Informatica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Notes

  1. We deviate here from Rob’s hyphenation for readability reasons.

  2. Thanks to Rob I also gained enough intuition and anecdotal evidence to conjecture that Def. 6.5 of [17] excludes many welcome behaviours if all elements were thus restricted; a formalisation is still outstanding...

References

  1. Castellani, I.: Report on WS25CCC workshop “25 years of combining compositionality and concurrency”. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 112, 99–103 (2014)

    Google Scholar 

  2. Castellano, L., De Michelis, G., Pomello, L.: Concurrency vs interleaving: an instructive example. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 31, 12–22 (1987)

    MATH  Google Scholar 

  3. Goltz, C.: (2019). Personal communication

  4. Groote, J. F.: Implementation of Events in LOTOS-Specifications, M.S. thesis, University Twente, CFT-Note 009/88EN Centre for manufacturing technology (1988)

  5. Olderog, E.-R., Goltz, U., van Glabbeek, R.J.: GMD-workshop on combining compositionality and concurrency. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 35, 254–256 (1988)

    Google Scholar 

  6. Pratt, V.: Conference report workshop on combining compositionality and concurrency. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 35, 253–254 (1988)

    Google Scholar 

  7. Rabinovich, A., Trakhtenbrot, B.A.: Behavior structures and nets. Fundam. Inf. 11(4), 357–404 (1988)

    MathSciNet  MATH  Google Scholar 

  8. Reisig, W.: Report on the GMD-workshop on combining compositionality and concurrency. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 35, 251–253 (1988)

    Google Scholar 

  9. van Glabbeek, R.J., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. Arbeitspapiere der GMD 366, 02 (1989)

    MATH  Google Scholar 

  10. van Glabbeek, R.J., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions (extended abstract). volume 379 of Lecture Notes in Computer Science, pp. 237–248 (1989)

  11. van Glabbeek, R.J., Goltz, U.: Partial order semantics for refinement of actions -neither necessary nor always sufficient but appropriate when used with care-. Bull. Eur. Assoc. Theoret. Comput. Sci. (EATCS) 38, 154–163 (1989)

    MATH  Google Scholar 

  12. van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5), 229–327 (2001)

    Article  MathSciNet  Google Scholar 

  13. van Glabbeek, R.J., Goltz, U., Olderog, E. (eds.): Special issue: combining compositionality and concurrency Part 1. Acta Inform. 52(1), 3–4 (2015)

  14. van Glabbeek, R.J., Goltz, U., Olderog, E. (eds): Special issue: combining compositionality and concurrency, Part 2. Acta Inf , 52(4-5), 443–452 (2015)

  15. van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Symmetric and Asymmetric Asynchronous Interaction. ENTCS. Elsevier, Amsterdam (2008)

    MATH  Google Scholar 

  16. van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Abstract processes of place/transition systems. Inf. Process. Lett. 111(13), 626–633 (2011)

    Article  MathSciNet  Google Scholar 

  17. van Glabbeek, R.J., Goltz, U., Schicke-Uffmann, J.-W.: On characterising distributability. Logical Methods in Computer Science, 9(3) (2013)

Download references

Acknowledgements

We wish to thank Claudia Möller and Christiane Goltz for their very active participation and their permission to include personal anecdotes and photos (and the latter for providing several of the included ones). Liebster Rob, Ulla denkt sehr an Dich.

Author information

Authors and Affiliations

  1. Hildesheim, Germany

    Ursula Goltz

  2. Braunschweig, Germany

    Jens-W. Schicke-Uffmann

Authors
  1. Ursula Goltz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jens-W. Schicke-Uffmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jens-W. Schicke-Uffmann.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Goltz, U., Schicke-Uffmann, JW. Synchronous and asynchronous communication(s) between three parties. Acta Informatica 57, 313–320 (2020). https://doi.org/10.1007/s00236-020-00381-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00236-020-00381-8

Keywords

Search

Navigation