Formalizing the specification and execution of workflows using the event calculus (Q2499063)

From MaRDI portal





scientific article; zbMATH DE number 5045454
Language Label Description Also known as
default for all languages
No label defined
    English
    Formalizing the specification and execution of workflows using the event calculus
    scientific article; zbMATH DE number 5045454

      Statements

      Formalizing the specification and execution of workflows using the event calculus (English)
      0 references
      0 references
      0 references
      14 August 2006
      0 references
      event calculus
      0 references
      workflow formalization
      0 references
      temporal reasoning
      0 references

      Identifiers