Mathematical techniques for analyzing concurrent and probabilistic systems

Mathematical techniques for analyzing concurrent and probabilistic systems

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Workshop on Mathematical Models and Techniques for Analysing Systems (BerichterstatterIn)
Weitere Verfasser: Rutten, J. J. M. M. (BerichterstatterIn), Rutten, Jan (BerichterstatterIn), Panangaden, Prakash (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Providence, RI American Mathematical Society 2004
Schriftenreihe:CRM monograph series 23
Schlagworte:
System analysis > Konferenzschrift > Stochastisches System > Nebenläufigkeit > Prozessalgebra > Verifikation
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references
The two sets of notes in this volume were based on lectures delivered at a Workshop on "Mathematical Techniques for Analyzing Systems", Workshop on Mathematical Models and Techniques for Analyzing Systems, September 30 - October 4, 2002, held at the Centre de Recherches Mathématiques, University of Montréal
Beschreibung:VIII, 215 S.
graph. Darst.
ISBN:0821835718
0-8218-3571-8