An Extended Temporal Logic for CSCW

DOI10.1093/COMJNL/45.4.453MaRDI QIDQ3148233zbMATH OpenOpenAlexFDO

Authors

Publication date 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/45.4.453

zbMATH Keywords

Computer Supported Cooperative Work (CSCW)Groupware Temporal Logic (GTL)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 139996
• scientific article; zbMATH DE number 176158
• Temporal logic and applications—a tutorial
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• scientific article; zbMATH DE number 4081518

Cited in

(1)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam

This page was built for publication: An Extended Temporal Logic for CSCW

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3148233)