1
Cyhoeddwyd 2014
Tabl Cynhwysion: ... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2010
Tabl Cynhwysion: ... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Cael y testun llawn
Electronig eLyfr