Go home now Header Background Image
Search
Subscription Submission Procedure Login
User: anonymous
Special Issues
 
Volume 14 (2008)
Volume 13 (2007)
Volume 12 (2006)
Volume 11 (2005)
Volume 10 (2004)
Volume 9 (2003)
Volume 8 (2002)
Volume 7 (2001)
Volume 6 (2000)
Volume 5 (1999)
Issue 1
Issue 2
Issue 3
Issue 4
Issue 5
Issue 6
Issue 7
Issue 8
Issue 9
Issue 10
Issue 11
Issue 12
Volume 4 (1998)
Volume 3 (1997)
Volume 2 (1996)
Volume 1 (1995)
Volume 0 (1994)
 
Articles by Topics
Articles by Author
 
Board of Editors
List of Topics
 
What's New
Aims and Scope
Submission Procedure
Subscription
Printed Publications
 
Collection of other papers
Volume 5 / Issue 9

available in:   PDF (179 kB) PS (50 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future

 

Synchronization Expressions and Languages

Kai Salomaa (Department of Computing and Information Science, Queen's University Kingston, Canada)

Sheng Yu (Department of Computer Science, University of Western Ontario London, Canada)

Abstract: Synchronization expressions (SEs) were originally developed as practical high-level constructs for specifying synchronization constraints between parallel processes. The family of synchronization languages was introduced to give a precise semantic description for synchronization expressions. In addition to its use for defining the meaning of SEs, the family of synchronization languages is interesting on its own from a formal languages point of view. We consider two variants of the definition of synchronization languages, and survey characterization results for the language families. Synchronization languages also provide us a systematic approach for the implementation and simplification of SEs.

Categories: F.4.3