Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Tree Languages Read chapter Read first chapter

1997 | OriginalPaper | Chapter

Partial Commutation and Traces

Authors : Volker Diekert, Yves Métivier

Published in: Handbook of Formal Languages

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Parallelism and concurrency are fundamental concepts in computer science. Specification and verification of concurrent programs are of first importance. It concerns our daily life whether software written for distributed systems behaves correctly.

previous chapter Languages, Automata, and Logic
next chapter Visual Models of Plant Development
Metadata
Title
Partial Commutation and Traces
Authors
Volker Diekert
Yves Métivier
Copyright Year
1997
Publisher
Springer Berlin Heidelberg
Book
Handbook of Formal Languages

Print ISBN: 978-3-642-63859-6

Electronic ISBN: 978-3-642-59126-6

Copyright Year: 1997

DOI
https://doi.org/10.1007/978-3-642-59126-6_8

Premium Partner

    Image Credits