Timed acceptances: A model of time dependent processes

• 1 January 1988
• book chapter
• Published by Springer Nature in Lecture Notes in Computer Science
• p. 128-130
• https://doi.org/10.1007/3-540-50302-1_7

Abstract

Keywords

• ALGEBRAIC PROPERTY
• PARALLEL COMPOSITION
• TIME DEPENDENT PROCESS
• SHARED EVENT
• INTERNAL DECISION