A Reachability Verification Method Based on Pi- Calculus and Role Network Model for Cross- Organizational Business Processes

International Journal of Electrical Energy
doi 10.12720/ijoee.1.3.137-141
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EJournal Publishing

Related search

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Biometric Verification Pattern and Feature Extraction Model Based on Convolution Neural Network

International Journal for Research in Applied Science and Engineering Technology
2019English

Comparative Verification Exercises on a Probabilistic Network Model for Building Evacuation

Journal of Fire Sciences
Mechanics of MaterialsRiskMechanical EngineeringReliabilitySafetyQuality
2009English

Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors

International Journal of Cooperative Information Systems
Computer Science ApplicationsInformation Systems
2009English

A Comprehensive Evaluation Method for Cross-Organizational Service Selection

2010English

The Applied Pi Calculus

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2018English

A Social Network‐based Organizational Model for Improving Knowledge Management in Supply Chains

Supply Chain Management
AccountingManagementBusinessStrategy
2011English

Cross-Social-Network Interconnection Model Based on Bridge Community

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy