نمایه‌‌ها

Luca Cardelli

University of Oxford

ایمیل تأیید شده در cs.ox.ac.uk

بیان شده در 33509 یافته

Theory of programming languages Process algebra Systems Biology Molecular Programming

Rob van Glabbeek

UNSW

ایمیل تأیید شده در cs.stanford.edu

بیان شده در 10972 یافته

Concurrency concurrency theory process algebra formal methods temporal logic

Marco Bernardo

University of Urbino

ایمیل تأیید شده در uniurb.it

بیان شده در 3380 یافته

Theoretical computer science Concurrency theory Process algebra Formal methods Software architecture

Alban Ponse

Guest Researcher, Informatics Institute, University of Amsterdam

ایمیل تأیید شده در uva.nl

بیان شده در 3173 یافته

Theoretical Computer Science Process Algebra Program and Thread Algebra Short-Circuit Logic

William Sulis

Associate Clinical Professor, McMaster University

ایمیل تأیید شده در mcmaster.ca

بیان شده در 1333 یافته

Quantum Foundations Collective Intelligence Process Algebra Temperament

Qin Li

East China Normal University

ایمیل تأیید شده در sei.ecnu.edu.cn

بیان شده در 1023 یافته

Unifying Theories of Programming Trustworthy Computing Process Algebra Cyber-Physical Systems Multi-agent systems

John Mullins

École Polytechnique de Montréal

ایمیل تأیید شده در polymtl.ca

بیان شده در 883 یافته

Computer science formal methods concurrency theory model checking process algebra

Bogdan Aman

Institute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC …

ایمیل تأیید شده در iit.academiaromana-is.ro

بیان شده در 853 یافته

process algebra type systems membrane computing reaction systems reversible computing

Ali Rezaee

Assistant Professor of Computer Engineering, Department of Computer Engineering …

ایمیل تأیید شده در SRBIAU.AC.IR

بیان شده در 817 یافته

Cloud/Fog/IoT Machine Learning Software Architecture Process Algebra Software Engineering

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

ایمیل تأیید شده در utwente.nl

بیان شده در 691 یافته

Computational Thinking Formal Methods Probabilistic Model Checking Process Algebra Model-Based Testing

1 - 10