Keywords
ConcurrencyComputer scienceDistributed computingScheduling (production processes)Concurrency controlTheoretical computer scienceProgramming languageMathematicsMathematical optimizationDatabase transaction
Affiliated Institutions
Related Publications
Revolutionizing Supply Chain Management: Real-time Data Processing and Concurrency
In the contemporary business landscape, effective supply chain management (SCM) is paramount for organizations seeking to thrive amidst evolving market dynamics and heightened c...
Interval hierarchies and their application to predicate files
Predicates are used extensively in modern database systems for purposes ranging from user specification of associative accesses to data, to user-invisible system control functio...
Workflow Management
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analyzing, and redesigning a...
Casting Petri Nets into Programs
A programming system has been implemented in which annotated Petri nets are used as machine-processable high-evel design representations. The nets can be used to express the par...
Publication Info
- Year
- 2005
- Type
- book-chapter
- Pages
- 272-281
- Citations
- 59
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
59
OpenAlex
11
CrossRef
Cite This
Howard Wong-Toi,
David L. Dill
(2005).
Synthesizing processes and schedulers from temporal specifications.
Lecture notes in computer science
, 272-281.
https://doi.org/10.1007/bfb0023741
Identifiers
- DOI
- 10.1007/bfb0023741