The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for communicating with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1977 (16) 1978-1980 (29) 1981 (16) 1982 (17) 1983 (22) 1984 (35) 1985 (30) 1986 (35) 1987 (36) 1988 (47) 1989 (38) 1990 (63) 1991 (35) 1992 (62) 1993 (68) 1994 (69) 1995 (70) 1996 (73) 1997 (72) 1998 (103) 1999 (145) 2000 (142) 2001 (194) 2002 (222) 2003 (198) 2004 (295) 2005 (352) 2006 (401) 2007 (439) 2008 (383) 2009 (272) 2010 (114) 2011 (98) 2012 (110) 2013 (128) 2014 (91) 2015 (90) 2016 (137) 2017 (85) 2018 (87) 2019 (102) 2020 (77) 2021 (98) 2022 (69) 2023 (72) 2024 (12)
Publication types (Num. hits)
article(1256) book(17) incollection(40) inproceedings(3931) phdthesis(81) proceedings(24)
Venues (Conferences, Journals, ...)
CPA(230) TestCom(139) CoRR(117) SIGDOC(63) TestCom/FATES(49) CRIS(47) IWTCS(47) CHI Extended Abstracts(40) IEEE Trans. Software Eng.(39) Theor. Comput. Sci.(35) CHI(31) IPDPS(31) CONCUR(30) AAMAS(29) VTC Spring(29) HICSS(28) More (+10 of total 1855)
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
85Sujit Dey, Surendra Bommu Performance analysis of a system of communicating processes. Search on Bibsonomy ICCAD The full citation details ... 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
65Florentin Ipate, Mike Holcombe Testing Conditions for Communicating Stream X-machine Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing
59A. V. S. Rajan, S. Bavan, Geetha Abeysinghe Semantics for the Specification of Asynchronous Communicating Systems (SACS). Search on Bibsonomy SCSS (1) The full citation details ... 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
58Peter H. Welch, Fred R. M. Barnes Communicating Mobile Processes. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan Designing communicating transaction processes by supervisory control theory. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
52Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom 06101 Abstracts Collection -- Spatial Data: mining, processing and communicating. Search on Bibsonomy Spatial Data: mining, processing and communicating The full citation details ... 2006 DBLP  BibTeX  RDF
52Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom 06101 Report -- Spatial Data: mining, processing and communicating. Search on Bibsonomy Spatial Data: mining, processing and communicating The full citation details ... 2006 DBLP  BibTeX  RDF
49Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF denotational models, communicating sequential processes, nondeterminacy
48Francis Bordeleau, Raymond J. A. Buhr UCM-ROOM modelling: from use case maps to communicating state machines. Search on Bibsonomy ECBS The full citation details ... 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
48Alan C. Shaw Communicating Real-Time State Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
46Ad M. G. Peeters Implementation of Handshake Components. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Mark B. Josephs Models for Data-Flow Sequential Processes. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Petros Kefalas, George Eleftherakis, Evangelos Kehris Communicating X-Machines: From Theory to Practice. Search on Bibsonomy Panhellenic Conference on Informatics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik Formal Service-Oriented Development of Fault Tolerant Communicating Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, UML, B Method, communicating systems, service-oriented development
44Lech Polkowski, Maria Semeniuk-Polkowska Sets of Communicating Sequential Processes. A Topological Rough Set Framework. Search on Bibsonomy KES The full citation details ... 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
44Santonu Sarkar, Anupam Basu, Arun K. Majumdar Synchronization of communicating modules and processes in high level synthesis. Search on Bibsonomy VLSI Design The full citation details ... 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
44M. Hakan Erdogmus, Robert Johnston On the Specification and Synthesis of Communicating Processes. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
43Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale DCCA: a versatile paradigm for the description and development of concurrent communicating systems. Search on Bibsonomy HICSS (2) The full citation details ... 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
42David Harel Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. Search on Bibsonomy RE The full citation details ... 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
42Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin RTCAST: lightweight multicast for real-time process groups. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
40Béatrice Bérard Timed Model-Checking. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Didier Lime, Olivier H. Roux, Jirí Srba Models for Real-Time Embedded Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Franck Cassez, Nicolas Markey Control of Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Thao Dang 0001, Goran Frehse, Antoine Girard, Colas Le Guernic Tools for the Analysis of Hybrid Models. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Franck Cassez, Stavros Tripakis Fault Diagnosis of Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Susanna Donatelli, Serge Haddad Quantitative Verification of Markov Chains. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Alexandre 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 Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Jö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 Spatial Data: mining, processing and communicating The full citation details ... 2006 DBLP  BibTeX  RDF
40Steffen Volz Management and Conflation of Multiple Representations within an Open Federation Platform. Search on Bibsonomy Spatial Data: mining, processing and communicating The full citation details ... 2006 DBLP  BibTeX  RDF
40Ranko Lazic 0001, Thomas Christopher Newcomb, A. W. Roscoe 0001 On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40David May 0001 CSP, occam and Transputers. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Sadie Creese Industrial Strength CSP: Opportunities and Challenges in Model-Checking. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Peter Y. A. Ryan Shedding Light on Haunted Corners of Information Security. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40A. W. Roscoe 0001 Seeing Beyond Divergence. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jeff Magee, Jeff Kramer Model-Based Design of Concurrent Programs. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Michael Goldsmith Operational Semantics for Fun and Profit. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jonathan Lawrence Practical Application of CSP and FDR to Software Design. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Mike Reed Order, Topology, and Recursion Induction in CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 A Trace Semantics for Long-Running Transactions. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Steve A. Schneider, Rob Delicata Verifying Security Protocols: An Application of CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Stephen D. Brookes Retracing the Semantics of CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jifeng He 0001 Linking Theories of Concurrency. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40C. A. R. Hoare Process Algebra: A Unifying Approach. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Jan Peleska 0001 Applied Formal Methods - From CSP to Executable Hybrid Specifications. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Carroll Morgan Of Probabilistic Wp and SP-and Compositionality. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Dana Pardubská, Martin Plátek, Friedrich Otto Parallel Communicating Grammar Systems with Regular Control. Search on Bibsonomy CAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton
38Sébastien Labbé 0002, Jean-Pierre Gallois Slicing communicating automata specifications: polynomial algorithms for model reduction. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
38David R. Wright 0001 The decision pattern: capturing and communicating design intent. Search on Bibsonomy SIGDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF communicating design decisions, design rationalization, software system design, design patterns, critical thinking
38Mahadevan Subramaniam, Zoltán Pap Analyzing the Impact of Protocol Changes on Tests. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test consistency, protocol, evolution, Changes, communicating finite state machines
36Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli Testing embedded real-time systems. Search on Bibsonomy RTCSA The full citation details ... 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
36Yong Sun, Hongji Yang Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. Search on Bibsonomy EUROMICRO The full citation details ... 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
36George R. Ribeiro-Justo A rigorous method for the constructive design of parallel and distributed programs. Search on Bibsonomy HICSS (2) The full citation details ... 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
36Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer An approach to information security in distributed systems. Search on Bibsonomy FTDCS The full citation details ... 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
36Andrew Kay, Joy N. Reed A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen From CSP Models to Markov Models. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Xavier Nicollin, Joseph Sifakis, Sergio Yovine Compiling Real-Time Specifications into Extended Automata. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
36Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001 Fault Detection within a Component of a System of Communicating FSMs. Search on Bibsonomy TestCom The full citation details ... 2002 DBLP  BibTeX  RDF
36Ana 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 TestCom The full citation details ... 2000 DBLP  BibTeX  RDF
36Juhani Latvakoski, H. Honka Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems. Search on Bibsonomy IWTCS The full citation details ... 1999 DBLP  BibTeX  RDF
35Ismail Berrada, Richard Castanet, Patrick Félix Testing Communicating Systems: a Model, a Methodology, and a Tool. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Linas Laibinis, Elena Troubitsyna, Sari Leppänen Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
33Karen Johanne Kortbek, Kaj Grønbæk Communicating art through interactive technology: new approaches for interaction design in art museums. Search on Bibsonomy NordiCHI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF art museums, audio augmentation, body as an interaction device, communicating art, interaction design, user experience
33Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. Search on Bibsonomy DS-RT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
33Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Implementing Communicating Processes in the Event of Interface Difference. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
33Rim Belhassine-Cherif, Abderrazak Ghedamsi Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. Search on Bibsonomy ISCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom
33Maciej Koutny, Giuseppe Pappalardo A Model of Behaviour Abstraction for Communicating Processes. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation
33Robert E. Filman, Ted Linden Communicating security agents. Search on Bibsonomy WETICE The full citation details ... 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
33Gang Luo, Gregor von Bochmann, Alexandre Petrenko Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
33Anthony Chung, Deepinder P. Sidhu On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines
33Matthew Canton The presence table: a reactive surface for ambient connection. Search on Bibsonomy TEI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Anthony J. Cowling, Horia Georgescu, Cristina Vertan A Structured Way to Use Channels for Communication in X-Machine Systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Channel operations, Communicating systems of X-machines, Channels, X-machines
31Liliana Cojocaru Watson-Crick automata and PCFAS with two components: a computational power analogy. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 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
29Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Peter Buchholz 0001 Product Form Approximations for Communicating Markov Processes. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Stephan Rössig, Michael Schenke Specification and Stepwise Development of Communicating Systems. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
28Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava Refining Interfaces of Communicating Systems. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Jianbing Lin, Jinan Zou Implementation of Enterprise Instant Communicating System Based on Application Layer with Java Programming. Search on Bibsonomy IFITA (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF instant communicating, thread, socket, daemon
27Robert Charles Lange, Spiros Mancoridis thr2csp: Toward Transforming Threads into Communicating Sequential Processes. Search on Bibsonomy SCAM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, reverse engineering, communicating sequential processes
27Wenjun Li, Xiaocong Zhou, Shixian Li The Typing of Communicating Sequential Processes. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Type systems, Communicating Sequential Processes
27William P. Niedringhaus Diffusive dynamic load balancing by terrain parcel swaps for event-driven simulation of communicating vehicles. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 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
27Wuxu Peng, S. Purushothaman Data Flow Analysis of Communicating Finite State Machines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF static analysis, communicating finite state machines
27Thomas L. Casavant, Jon G. Kuhl A Communicating Finite Automata Approach to Modeling Distributed Computation and Its Application to Distributed Decision-Making. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
27Patrick M. Lenders A Generalized Message-Passing Mechanism for Communicating Sequential Processes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 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
27Hussein G. Badr, David Gelernter, Sunil Podar An Adaptive Communications Protocol for Network Computers. Search on Bibsonomy SIGMETRICS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26Kavita Thomas, Pierre Proske, Mattias Rickardsson Intelligent fridge poetry magnets. Search on Bibsonomy IUI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embodied communicating agents, expressive user-interfaces, interaction-based grammar-learning, intelligent agents, user interaction
26Laurence Rozé, Marie-Odile Cordier Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF generic model, telecommunication networks, model based approach, real-time monitoring, communicating finite state machine
26Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Verifying Implementation Relations. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Behaviour ion, verification, compositionality, communicating sequential processes
26Ali E. Abdallah, Mark Green An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. Search on Bibsonomy ICFEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms
26Ahmed El-Amawy Clocking Arbitrarily Large Computing Structures Under Constant Skew Bound. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
24Michaël David, William Derigent, Gaël Loubet, Alexandru Takacs, Daniela Dragomirescu Communicating Materials: Communicating Concrete Development for Construction Industry. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Dominic Orchard, Mihail Munteanu, Paulo Torrens Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. Search on Bibsonomy PLACES@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Kristin Stock, Christopher B. Jones, Thora Tenbrink Speaking of Location: Communicating about Space with Geospatial Natural Language. Search on Bibsonomy SoL@COSIT The full citation details ... 2019 DBLP  BibTeX  RDF
24Tamsin Burland, Catherine Grout Standards and Interoperability: How Jisc's Work Supports Reporting, Communicating and Measuring Research in the UK. Search on Bibsonomy CRIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24David 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 CRIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Miguel-Ángel Sicilia, Eduard Simons, Anna Clements, Pablo de Castro Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability. Search on Bibsonomy CRIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Andrew Bate, Gavin Lowe A Debugger for Communicating Scala Objects. Search on Bibsonomy CPA The full citation details ... 2012 DBLP  BibTeX  RDF
24Kevin Chalmers A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. Search on Bibsonomy CPA The full citation details ... 2012 DBLP  BibTeX  RDF
24C. K. Gunsalus Best Practices in Communicating Best Practices - Commentary on: 'Developing and Communicating Responsible Data Management Policies to Trainees and Colleagues'. Search on Bibsonomy Sci. Eng. Ethics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Martin Korsgaard, Sverre Hendseth Design Patterns for Communicating Systems with Deadline Propagation. Search on Bibsonomy CPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Kevin Chalmers, Jon M. Kerridge An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. Search on Bibsonomy CPA The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license