Repository
9.5K
Publications
3.4K
Citations
Top concepts
ComputingConvertersEngineeringControl TheoryMobile SystemsControl SystemsProcess ControlComputer ScienceFeedback ControlProcess Calculus
Publications per year
2001–2026
9.5K
9.5K
Higher-Order Concurrency: Expressiveness and Decidability Results
Jorge A. Pérez · 2010 · 20 citations · Full text
Luca Zarri · 2007 · 20 citations · Full text
1–3 of 9.5K