An Extended Temporal Logic for CSCW

DOI10.1093/COMJNL/45.4.453zbMATH Open1037.68094OpenAlexW1976289529MaRDI QIDQ3148233FDOQ3148233

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

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

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)

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)