Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic

doi 10.1109/tic-sth.2009.5444515
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

From Process Logic to Business Logic—A Cognitive Approach to Business Process Management

Information and Management
Information SystemsManagementManagement Information Systems
2006English

Kleene's Three-Valued Logic and Process Algebra

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
1998English

Modal Location-Resource-Process Logic for Access Control

English

Process Algebra for Performance Evaluation

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

The Backup Recovery Strategy Selection to Maintain the Business Continuity Plan

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

The Double Continuity of Algebra

ICME-13 Monographs
2018English

A String Comparison Approach to Process Logic Differences Between Business Process Models

2006English

Dialectical Logic and Boolean Algebra

Journal of Mathematics Research
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy