Login
中文
Process Calculus
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Operational semantics
Formal methods
Formal verification
Petri net
Artificial intelligence
Distributed computing
Semantics
Model checking
Formal specification
Computer Science
Computability
Web service
Software Engineering
Communications protocol
Real-time computing
Cryptographic protocol
Logic
Algebra
Mathematical model
Concurrency
Rotation formalisms in three dimensions
Model of computation
Theory of computation
Calculus
Programming language
Parent Topic:
Theoretical computer science
,
Discrete mathematics
,
Computer Science
,
Programming language
,
Concurrent computing
,
Lambda calculus
Top Authors:
J A Bergstra
C A Middelburg
Wan Fokkink
Jane Hillston
Roberto Gorrieri
Marco Bernardo
Insup Lee
Luca Aceto
J C M Baeten
M A Reniers
Alban Ponse
Stephen Gilmore
Rosario Pugliese
Corrado Priami
Jan Friso Groote
Flemming Nielson
J W Klop
Yingxu Wang
Gwen Salaun
Mario Bravetti
Pierpaolo Degano
Nadia Busi
Hanne Riis Nielson
Davide Sangiorgi
Jinyoung Choi
Gianluigi Zavattaro
Flavio Corradini
Ugo Montanari
Jorge A Perez
Taolue Chen
Bas Luttik
Matthew Hennessy
Francesco Tiezzi
Alessandro Aldini
Jaco Van De Pol
Maciej Koutny
Mingsheng Ying
Riccardo Focardi
Ed Brinksma
Paola Quaglia
Anna Ingolfsdottir
Mirco Tribastone
Augusto Sampaio
G Stefanescu
Roberto Bruni
Mieke Massink
Holger Hermanns
Suzana Andova
Yingxu Wang
Steve Schneider
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation