|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4145 occurrences of 2347 keywords
|
|
|
Results
Found 5349 publication records. Showing 5349 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Sujit Dey, Surendra Bommu |
Performance analysis of a system of communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 590-597, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
PERC, accurate worst case performance analysis technique, concurrent communicating processes, exhaustive simulation, multiple communicating processes, single process descriptions, system design space, system of communicating processes, worst case performance analysis, worst case performance estimate, performance analysis, system performance, performance estimation, communicating sequential processes, system implementation, synchronization overhead, inter process communication |
65 | Florentin Ipate, Mike Holcombe |
Testing Conditions for Communicating Stream X-machine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(6), pp. 431-446, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing |
59 | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe |
Semantics for the Specification of Asynchronous Communicating Systems (SACS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS (1) ![In: Advances in Computer and Information Sciences and Engineering, Proceedings of the 2007 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 33-38, 2007, Springer, 978-1-4020-8740-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation |
58 | Peter H. Welch, Fred R. M. Barnes |
Communicating Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 175-210, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan |
Designing communicating transaction processes by supervisory control theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(2), pp. 117-141, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts |
52 | Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom |
06101 Abstracts Collection -- Spatial Data: mining, processing and communicating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Data: mining, processing and communicating ![In: Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
52 | Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom |
06101 Report -- Spatial Data: mining, processing and communicating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Data: mining, processing and communicating ![In: Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
49 | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 123-137, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
48 | Francis Bordeleau, Raymond J. A. Buhr |
UCM-ROOM modelling: from use case maps to communicating state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 169-, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps |
48 | Alan C. Shaw |
Communicating Real-Time State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 805-816, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties |
46 | Ad M. G. Peeters |
Implementation of Handshake Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 98-132, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Mark B. Josephs |
Models for Data-Flow Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 85-97, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Petros Kefalas, George Eleftherakis, Evangelos Kehris |
Communicating X-Machines: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers, pp. 316-335, 2001, Springer, 3-540-07544-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 261-287, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
44 | Lech Polkowski, Maria Semeniuk-Polkowska |
Sets of Communicating Sequential Processes. A Topological Rough Set Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part I, pp. 779-785, 2004, Springer, 3-540-23318-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
exact sets of processes, constructive and non–destructive mappings on exact sets of processes, rough set theory, communicating sequential processes |
44 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Synchronization of communicating modules and processes in high level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 8th International Conference on VLSI Design (VLSI Design 1995), 4-7 January 1995, New Delhi, India, pp. 87-92, 1995, IEEE Computer Society, 0-8186-6905-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
communicating modules, object oriented design framework, nonblocking channel, real life image processing, synchronization, high level synthesis, high level synthesis, application specific integrated circuits, synchronisation, object-oriented methods, component reuse, ASIC designs, image processing equipment |
44 | M. Hakan Erdogmus, Robert Johnston |
On the Specification and Synthesis of Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1412-1426, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
objective methodology, state-machine-type process descriptions, common problem, central module, specific distributed system configuration, formal specification, parallel programming, automatic programming, communicating processes, high-level specifications, algebraic operators, behavioral constraints, behavioral constraints |
43 | Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale |
DCCA: a versatile paradigm for the description and development of concurrent communicating systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 329-338, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system |
42 | David Harel |
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 184-, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research |
42 | Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin |
RTCAST: lightweight multicast for real-time process groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 250-259, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
RTCAST, real time process groups, lightweight fault tolerant multicast, bounded time message transport, processor crashes, communication failures, communicating processors, membership changes, event triggered approach, fast message delivery time, time triggered protocols, TTP, x-Kernel protocol architecture, RT Mach 3, real-time systems, protocols, fault tolerant computing, message passing, Unix, operating system kernels, communicating processes, membership service |
40 | Béatrice Bérard |
Timed Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 39-66, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Didier Lime, Olivier H. Roux, Jirí Srba |
Models for Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 1-37, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Franck Cassez, Nicolas Markey |
Control of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 67-105, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Thao Dang 0001, Goran Frehse, Antoine Girard, Colas Le Guernic |
Tools for the Analysis of Hybrid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 227-251, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Franck Cassez, Stavros Tripakis |
Fault Diagnosis of Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 107-138, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Susanna Donatelli, Serge Haddad |
Quantitative Verification of Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 139-163, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez |
Tools for Model-Checking Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communicating Embedded Systems ![In: Communicating Embedded Systems, pp. 165-225, 2013, Wiley, 978-1-84821-143-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Jörg-Rüdiger Sack, Monika Sester, Peter van Oosterom, Michael F. Worboys (eds.) |
Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Data: mining, processing and communicating ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
40 | Steffen Volz |
Management and Conflation of Multiple Representations within an Open Federation Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Data: mining, processing and communicating ![In: Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
40 | Ranko Lazic 0001, Thomas Christopher Newcomb, A. W. Roscoe 0001 |
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 275-291, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | David May 0001 |
CSP, occam and Transputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 75-84, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Sadie Creese |
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 292-292, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 264-264, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | A. W. Roscoe 0001 |
Seeing Beyond Divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 15-35, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 211-219, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Michael Goldsmith |
Operational Semantics for Fun and Profit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 265-274, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 151-174, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Mike Reed |
Order, Topology, and Recursion Induction in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 242-242, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 133-150, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 243-263, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Stephen D. Brookes |
Retracing the Semantics of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 1-14, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jifeng He 0001 |
Linking Theories of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 61-74, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | C. A. R. Hoare |
Process Algebra: A Unifying Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 36-60, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jan Peleska 0001 |
Applied Formal Methods - From CSP to Executable Hybrid Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 293-320, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 220-241, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Dana Pardubská, Martin Plátek, Friedrich Otto |
Parallel Communicating Grammar Systems with Regular Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 342-360, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton |
38 | Sébastien Labbé 0002, Jean-Pierre Gallois |
Slicing communicating automata specifications: polynomial algorithms for model reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(6), pp. 563-595, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms |
38 | David R. Wright 0001 |
The decision pattern: capturing and communicating design intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 25th Annual International Conference on Design of Communication, SIGDOC 2007, El Paso, Texas, USA, October 22-24, 2007, pp. 69-74, 2007, ACM, 978-1-59593-588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
communicating design decisions, design rationalization, software system design, design patterns, critical thinking |
38 | Mahadevan Subramaniam, Zoltán Pap |
Analyzing the Impact of Protocol Changes on Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 197-212, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test consistency, protocol, evolution, Changes, communicating finite state machines |
36 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 417-424, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
36 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 303-310, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
36 | George R. Ribeiro-Justo |
A rigorous method for the constructive design of parallel and distributed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 319-328, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems |
36 | Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer |
An approach to information security in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 384-394, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
security semantics, distributed systems, distributed processing, information security, CSP, security of data, information flow control, communicating sequential processes, communicating processes |
36 | Andrew Kay, Joy N. Reed |
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 625-639, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing |
36 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen |
From CSP Models to Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 554-570, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton |
36 | Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
Compiling Real-Time Specifications into Extended Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 794-804, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications |
36 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Fault Detection within a Component of a System of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, pp. 317-, 2002, Kluwer, 0-7923-7695-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
36 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, pp. 35-, 2000, Kluwer, 0-7923-7921-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
36 | Juhani Latvakoski, H. Honka |
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWTCS ![In: Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary, pp. 379-394, 1999, Kluwer, 0-7923-8581-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
35 | Ismail Berrada, Richard Castanet, Patrick Félix |
Testing Communicating Systems: a Model, a Methodology, and a Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 111-128, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 130-151, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
33 | Karen Johanne Kortbek, Kaj Grønbæk |
Communicating art through interactive technology: new approaches for interaction design in art museums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 229-238, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
art museums, audio augmentation, body as an interaction device, communicating art, interaction design, user experience |
33 | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 188-195, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS |
33 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Implementing Communicating Processes in the Event of Interface Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 25-30 June 2001, Newcastle upon Tyne, UK, pp. 87-, 2001, IEEE Computer Society, 0-7695-1071-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation |
33 | Rim Belhassine-Cherif, Abderrazak Ghedamsi |
Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 661-666, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom |
33 | Maciej Koutny, Giuseppe Pappalardo |
A Model of Behaviour Abstraction for Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings, pp. 313-322, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation |
33 | Robert E. Filman, Ted Linden |
Communicating security agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 86-91, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models |
33 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 149-162, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
33 | Anthony Chung, Deepinder P. Sidhu |
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1491-1494, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines |
33 | Matthew Canton |
The presence table: a reactive surface for ambient connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, Funchal, Madeira, Portugal, January 22-26, 2011, pp. 401-402, 2011, ACM, 978-1-4503-0478-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Anthony J. Cowling, Horia Georgescu, Cristina Vertan |
A Structured Way to Use Channels for Communication in X-Machine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(6), pp. 485-500, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Channel operations, Communicating systems of X-machines, Channels, X-machines |
31 | Liliana Cojocaru |
Watson-Crick automata and PCFAS with two components: a computational power analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 150-161, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Szilard languages, Watson-Crick automata, gene assembly, parallel communicating finite automata systems, parallel communicating finite transducer systems, theory of computation, formal language theory, DNA molecule, ciliates |
29 | Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol |
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 226-242, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Peter Buchholz 0001 |
Product Form Approximations for Communicating Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 135-144, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Rössig, Michael Schenke |
Specification and Stepwise Development of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 149-163, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava |
Refining Interfaces of Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 297-312, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Jianbing Lin, Jinan Zou |
Implementation of Enterprise Instant Communicating System Based on Application Layer with Java Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 315-318, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
instant communicating, thread, socket, daemon |
27 | Robert Charles Lange, Spiros Mancoridis |
thr2csp: Toward Transforming Threads into Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009, pp. 3-12, 2009, IEEE Computer Society, 978-0-7695-3793-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrency, reverse engineering, communicating sequential processes |
27 | Wenjun Li, Xiaocong Zhou, Shixian Li |
The Typing of Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 61-66, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Type systems, Communicating Sequential Processes |
27 | William P. Niedringhaus |
Diffusive dynamic load balancing by terrain parcel swaps for event-driven simulation of communicating vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 166-174, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
military equipment, military communication, diffusive dynamic load balancing, terrain parcel swaps, communicating vehicles, wargaming simulation, battlefield terrain partitioning, communication circle, terrain repartitioning, shape regularization, lopsided dimensions, marked concavities, long thin peninsulas, parallel programming, resource allocation, discrete event simulation, mobile communication, vehicles, telecommunication computing, event-driven simulation, military computing, network bandwidth, simulation parallelization |
27 | Wuxu Peng, S. Purushothaman |
Data Flow Analysis of Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(3), pp. 399-442, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
static analysis, communicating finite state machines |
27 | Thomas L. Casavant, Jon G. Kuhl |
A Communicating Finite Automata Approach to Modeling Distributed Computation and Its Application to Distributed Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(5), pp. 628-639, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
communicating finite automata approach, standard specification mechanism, distribution scheduling algorithms, scheduling, modeling, formal specification, distributed computation, directed graphs, directed graphs, finite automata, distributed decision-making |
27 | Patrick M. Lenders |
A Generalized Message-Passing Mechanism for Communicating Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 646-651, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives |
27 | Hussein G. Badr, David Gelernter, Sunil Podar |
An Adaptive Communications Protocol for Network Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Austin, Texas, USA, August 26-29, 1985, pp. 4-5, 1985, ACM, 0-89791-169-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Kavita Thomas, Pierre Proske, Mattias Rickardsson |
Intelligent fridge poetry magnets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 11th International Conference on Intelligent User Interfaces, IUI 2006, Sydney, Australia, January 29 - February 1, 2006, pp. 315-317, 2006, ACM, 1-59593-287-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
embodied communicating agents, expressive user-interfaces, interaction-based grammar-learning, intelligent agents, user interaction |
26 | Laurence Rozé, Marie-Odile Cordier |
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(1), pp. 43-81, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
generic model, telecommunication networks, model based approach, real-time monitoring, communicating finite state machine |
26 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Verifying Implementation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 364-383, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Behaviour ion, verification, compositionality, communicating sequential processes |
26 | Ali E. Abdallah, Mark Green |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 189-198, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms |
26 | Ahmed El-Amawy |
Clocking Arbitrarily Large Computing Structures Under Constant Skew Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 241-255, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
constant skew bound, arbitrarily large computing structures, communicating cells, skew upper bound, maximum clocking rate, 2-D mesh framework, node design, nonplanar structures, parallel architectures, stability, hypercubes, network topology, synchronisation, hypercube networks, clocks, clock skew, global synchronization |
24 | Michaël David, William Derigent, Gaël Loubet, Alexandru Takacs, Daniela Dragomirescu |
Communicating Materials: Communicating Concrete Development for Construction Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(4), pp. 6983-6994, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Dominic Orchard, Mihail Munteanu, Paulo Torrens |
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023., pp. 38-48, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kristin Stock, Christopher B. Jones, Thora Tenbrink |
Speaking of Location: Communicating about Space with Geospatial Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoL@COSIT ![In: Proceedings of the Workshop on Speaking of Location 2019: Communicating about Space co-located with 14th International Conference on Spatial Information Theory (COSIT 2019), Regensburg, Germany, September 9-13, 2019., pp. 1-7, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Tamsin Burland, Catherine Grout |
Standards and Interoperability: How Jisc's Work Supports Reporting, Communicating and Measuring Research in the UK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIS ![In: 13th International Conference on Current Research Information Systems, CRIS 2016, Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability, St Andrews, UK, June 9-11, 2016, pp. 276-282, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | David Baker, Anna Clements, Catherine Grout, Simon Kerridge, Valerie McCutcheon, Helen Newnham |
CASRAI-UK: Using the CASRAI Approach to Develop Standards for Communicating and Sharing Research Information in the UK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIS ![In: 13th International Conference on Current Research Information Systems, CRIS 2016, Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability, St Andrews, UK, June 9-11, 2016, pp. 100-103, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Miguel-Ángel Sicilia, Eduard Simons, Anna Clements, Pablo de Castro |
Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIS ![In: 13th International Conference on Current Research Information Systems, CRIS 2016, Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability, St Andrews, UK, June 9-11, 2016, pp. 1-2, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Bate, Gavin Lowe |
A Debugger for Communicating Scala Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 135-154, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Kevin Chalmers |
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: 34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012, pp. 107-120, 2012, Open Channel Publishing Ltd., 978-0-9565409-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | C. K. Gunsalus |
Best Practices in Communicating Best Practices - Commentary on: 'Developing and Communicating Responsible Data Management Policies to Trainees and Colleagues'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Eng. Ethics ![In: Sci. Eng. Ethics 16(4), pp. 763-767, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Martin Korsgaard, Sverre Hendseth |
Design Patterns for Communicating Systems with Deadline Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 349-361, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Chalmers, Jon M. Kerridge |
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009, pp. 205-223, 2009, IOS Press, 978-1-60750-065-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5349 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|