Characterizing Bisimulation Congruence in the [Pi]-calculus
![Characterizing Bisimulation Congruence in the [Pi]-calculus](/assets/img/default-book.png)
Location Privacy Protection in Mobile Networks
On Decidability and Small Model Property of Process Equations
Confluence of Processes and Systems of Objects
Intrusion Factors and Their Effects on Steering Column Movements During Vehicle's Frontal Impact Testing
The Use of Music Therapy Strategies to Enhance the General Milieu in a Rehabilitation Centre
Ji yu MI li lun de duo mei ti you er Hua wen ci hui jiao xue zi yuan she ji yu ying yong yan jiu
Energy-efficient anodic reactions for sustainable hydrogen production via water electrolysis
Sur la même ligne d'horizon
水粉画课堂
艺术胎教胎教艺术
Le partage des rôles
水粉画课堂
水粉画课堂
Specification and Decomposition in Concurrency
Dimension-reduction Representation of Stochastic Ground Motion and Engineering Applications
R
Compositionality Through an Operational Semantics of Contexts
Price Dispersion and Loss Leader Pricing