Highly Influenced

# Modal and Temporal Logics for Processes

@inproceedings{Stirling1995ModalAT, title={Modal and Temporal Logics for Processes}, author={Colin Stirling}, booktitle={Banff Higher Order Workshop}, year={1995} }

- Published 1995 in Banff Higher Order Workshop
DOI:10.1007/3-540-60915-6_5

Preface We examine modal and temporal logics for processes. In section 1 we introduce concurrent processes as terms of an algebraic language comprising a few basic operators, as developed by Milner, Hoare and others. Their behaviours are described using transitions. Families of transitions can be arranged as labelled graphs, concrete summaries of process behaviour. Various combinations of processes are reviewed. In section 2 modal logic is introduced for describing the capabilities of processesâ€¦Â CONTINUE READING

Highly Influential

This paper has highly influenced 32 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Showing 1-10 of 66 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential