Description
OpenOffice version of XTemp, v0.93. Compared with v0.91:
As discussed in 2/15 meeting:
- various editorial changes and improvements.
- split former section 3 by moving the VP-time and "concurrency" semantics
in new section 3, leaving Section 4 exclusively for language syntax.
- renamed "sleep" as "wait".
- in addition: propose to rename "synchronized" and "non-synchronized" invocations, as "blocking" and "non-blocking" invocations, due to the overloaded meaning of "synchronized" as in CSP concurrency model (where even in "non-blocking" invocations, some event-based synchronization could take place between scriplets.)
- added a definition of "concurrency" according to XTemp (i.e. uniquely depending on VP-time)
- date/time of events: now called more generally “timestamp” instead of posting time (the @post-time name was clearly not appropriate anymore as XTemp now handles ad-hoc event structures).
- aded a characterization of XTemp in terms of concurrent languages (more like CSP model than Actor model) end of 3.2.2.
