Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 177 matches
- 2011
- Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud:
The Flying Gator: Towards Aerial Robotics in occam-π. CPA 2011: 329-340 - Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink:
LUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework. CPA 2011: 157-175 - Eric Bonnici, Peter H. Welch:
Mobile Processes and Call Channels with Variant Interfaces (a Duality). CPA 2011: 377 - Kevin Chalmers:
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. CPA 2011: 227-242 - Alex Cole, Alistair A. McEwan, Satnam Singh:
An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming. CPA 2011: 111-130 - Rune Møllegaard Friborg, Brian Vinter:
Verification of a Dynamic Channel Model using the SPIN Model Checker. CPA 2011: 35-54 - James W. Hanlon, Simon J. Hollis:
Fast Distributed Process Creation with the XMOS XS1 Architecture. CPA 2011: 195-207 - Matthew M. Huntbach:
A Model for Concurrency Using Single-Writer Single-Assignment Variables. CPA 2011: 255-272 - Yoshinao Isobe:
CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation. CPA 2011: 341-362 - Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson:
Concurrent Event-driven Programming in occam-π for the Arduino. CPA 2011: 177-193 - Jon M. Kerridge:
Experiments in Multicore and Distributed Parallel Processing using JCSP. CPA 2011: 131-142 - Martin Korsgaard, Sverre Hendseth:
The Computation Time Process Model. CPA 2011: 273-286 - Anna Magdalena Kosek, Aly A. Syed, Jon M. Kerridge:
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems. CPA 2011: 143-156 - Gavin Lowe:
Implementing Generalised Alt - A Case Study in Validated Design using CSP. CPA 2011: 1-34 - Jan Bækgaard Pedersen, Matthew Sowders:
Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. CPA 2011: 71-85 - Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis:
Process-Oriented Subsumption Architectures in Swarm Robotic Systems. CPA 2011: 303-316 - Carl G. Ritson, Paul S. Andrews, Adam T. Sampson:
Object Store Based Simulation Interworking. CPA 2011: 243-253 - Arash Saifhashemi, Peter A. Beerel:
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces. CPA 2011: 287-302 - Kenneth Skovhede, Morten N. Larsen, Brian Vinter:
Programming the CELL-BE using CSP. CPA 2011: 55-70 - Dan Slipper, Alistair A. McEwan:
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. CPA 2011: 317-327 - Douglas N. Warren:
Prioritised Choice over Multiway Synchronisation. CPA 2011: 87-110 - Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown:
Adding Formal Verification to occam-π. CPA 2011: 379 - James Whitehead II:
Serving Web Content with Dynamic Process Networks in Go. CPA 2011: 209-226 - Takeshi Yamakawa, Tsuneki Ohashi, Chikara Fukunaga:
Development of an ML-based Verification Tool for Timed CSP Processes. CPA 2011: 363-375 - Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes:
33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011. Concurrent Systems Engineering Series 68, IOS Press 2011, ISBN 978-1-60750-773-4 [contents] - 2009
- Frederick R. M. Barnes:
Mobile Escape Analysis for occam-pi. CPA 2009: 117-134 - Maarten M. Bezemer, Marcel A. Groothuis, Jan F. Broenink:
Analysing gCSP Models Using Runtime and Model Analysis Algorithms. CPA 2009: 67-88 - Joël-Alexis Bialkiewicz, Frédéric Peschanski:
A Denotational Study of Mobility. CPA 2009: 239-261 - Neil C. C. Brown:
Auto-Mobiles: Optimised Message-Passing. CPA 2009: 225-238 - Neil C. C. Brown, Marc L. Smith:
Relating and Visualising CSP, VCR and Structural Traces. CPA 2009: 89-103
skipping 147 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-31 21:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint