QRB-Domains and the Probabilistic Powerdomain
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA
Quantitative Synthesis for Concurrent Programs
Querying XML Documents in Logic Programming
Canada
World
United States