A timed semantics of workflows - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

A timed semantics of workflows

Bersani M., Distefano S., Ferrucci L., Mazzara M.

Дата публикации: 2015

Дата публикации в реестре: 2020-03-01T01:11:53Z

Аннотация:

Ключевые слова:
Formal methods, Recovery framework, Semantics, Temporal logic, Workflow

Тип: Conference Paper

Источник: SCOPUS18650929-2015-555-SID84951132701

Другие версии документа

A timed semantics of workflows

Связанные документы (рекомендация CORE)