Takecian, Pedro L. and Ferreira, João E. and Malkowski, Simon and Pu, Calton (2011) Using LOTOS for rigorous specifications of workflow patterns. In: 6th International ICST Conference on Collaborative Computing: Networking, Applications, Worksharing.
![[thumbnail of 13169.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "13169.pdf")
PDF
13169.pdf
Download (306kB)
Abstract
Collaborative applications require understanding of the theoretical foundations. In case of workflow systems, one possibility to achieve this is an accurate description of workflow functionalities. Despite its growing popularity and success, it has not yet been evaluated whether Language of Temporal
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:15 |
| Last Modified: | 18 Apr 2026 03:28 |
| URI: | http://eprints.eai.eu/id/eprint/4817 |
Actions (login required)
- View Item