Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Labeled Transition Systems and Their Refinement Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

6. Process Algebra

verfasst von : John Derrick, Eerke Boiten

Erschienen in: Refinement

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter looks at these issues in process algebras. As a canonical example we look at CSP, but we also discuss CCS and LOTOS. The link to the semantics is made to Chap. 1 as well as elements of Chap. 5.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Perspicuity, Divergence, and Internal Operations
Nächstes Kapitel State-Based Languages: Z and B
Fußnoten
1
The relation with “skip” as stuttering in Chap. 3 is that both do nothing, doing so successfully. However, the respective semantic models will turn out rather different.
 
2
Remember that unless we give an explicit definition, the interface is simply the set of events listed in the process definition.
 
Literatur
1.
Schneider S (1999) Concurrent and real time systems: the CSP approach. Wiley, New York
2.
Roscoe AW (1998) The theory and practice of concurrency. International series in computer science. Prentice Hall, Upper Saddle River
3.
Milner R (1989) Communication and concurrency. Prentice-Hall, Upper Saddle River
4.
Bolognesi T, Brinksma E (1988) Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst 14(1):25–59
5.
Bergstra JA, Klop JW (1984) Process algebra for synchronous communication. Inf Control 60(1):109–137
6.
Milner R (1999) Communicating and mobile systems: the \(\pi \)-calculus. Cambridge University Press, New York
7.
Hoare CAR (1985) Communicating sequential processes. Prentice Hall, Upper Saddle River
8.
Roscoe AW (2010) Understanding concurrent systems. Springer, Berlin
9.
Bowman H, Gomez R (2005) Concurrency theory: calculi an automata for modelling untimed and timed concurrent systems. Springer, New York
10.
ISO/IEC. International standard 15437:2001: Information technology – Enhancements to LOTOS (E-LOTOS) (2001)
11.
de Nicola R, Hennessy MCB (1984) Testing equivalences for processes. Theor Comput Sci 34(1):83–133
Metadaten
Titel
Process Algebra
verfasst von
John Derrick
Eerke Boiten
Copyright-Jahr
2018
Buch
Refinement

Print ISBN: 978-3-319-92709-1

Electronic ISBN: 978-3-319-92711-4

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-92711-4_6