Материалов:
1 081 645

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

Авторов:
761 409

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

A timed semantics of workflows

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

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

Дата публикации в реестре: 2020-02-29T23:21:27Z

Аннотация:
Ключевые слова:
Formal methods, Recovery framework, Semantics, Temporal logic, Workflow

Тип: Conference Paper

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

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

A timed semantics of workflows

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

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core