On system executions and states

摘要

An approach for modeling dynamic situations where several processes execute concurrently is described. Using the concepts “system execution” and “pomset” defined by Lamport and Gischer, we address basic issues such as: what is an “event”? what is a “state” of a system? how should time be represented? etc.