Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Content Provider : BASE Publisher : multidisciplinary digital publishing institute Subject : process algebra فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Process and Time

Authors : William Sulis

Subjects: time; duration; object

Source: Entropy; Volume 25; Issue 5; Pages: 803

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Detecting Data Anomalies from Their Formal Specifications: A Case Study in IoT Systems

Authors : Benjamin Aziz

Subjects: data analysis; data anomalies; formal specifications

Source: Electronics; Volume 12; Issue 3; Pages: 630

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Thread Algebra with Prospecting Services and Foresight Patterns

Authors : Jan Bergstra

Subjects: process algebra; thread algebra; program algebra

Source: Mathematics; Volume 10; Issue 13; Pages: 2232

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Safety Verification of Driving Resource Occupancy Rules Based on Functional Language

Authors : Zhixi Hu; Yi Zhu; Xiaoying Chen

Subjects: autonomous driving model; environmental resources; safety verification

Source: Future Internet; Volume 14; Issue 2; Pages: 60

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

The Classical-Quantum Dichotomy from the Perspective of the Process Algebra

Authors : William Sulis

Subjects: classical-quantum boundary; contextuality; process algebra

Source: Entropy; Volume 24; Issue 2; Pages: 184

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Contextuality in Neurobehavioural and Collective Intelligence Systems

Authors : William Sulis

Subjects: process; process algebra; contextuality

Source: Quantum Reports; Volume 3; Issue 4; Pages: 592-614

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

An Abstraction Technique for Verifying Shared-Memory Concurrency

Authors : Wytse Oortwijn; Dilian Gurov; Marieke Huisman

Subjects: concurrency verification; program logics; process algebraagris

Source: Applied Sciences; Volume 10; Issue 11; Pages: 3928

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Risk Measurement Method for Privilege Escalation Attacks on Android Apps Based on Process Algebra

Authors : Limin Shen; Hui Li; Hongyi Wang

Subjects: process algebra; privilege escalation attack; risk measurement

Source: Information; Volume 11; Issue 6; Pages: 293

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

An Information Ontology for the Process Algebra Model of Non-Relativistic Quantum Mechanics

Authors : William Sulis

Subjects: information; process; process algebra

Source: Entropy; Volume 22; Issue 2; Pages: 136

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Integrated Information in Process-Algebraic Compositions

Authors : Tommaso Bolognesi

Subjects: boolean net; process algebra; parallel composition operator

Source: Entropy; Volume 21; Issue 8; Pages: 805

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي