Search results for "Communicating"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Sujit Dey, Surendra Bommu	Performance analysis of a system of communicating processes.	ICCAD	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.	Formal Aspects Comput.	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).	SCSS (1)	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.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
54	Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan	Designing communicating transaction processes by supervisory control theory.	Formal Methods Syst. Des.	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.	Spatial Data: mining, processing and communicating	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.	Spatial Data: mining, processing and communicating	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.	ICTAC	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.	ECBS	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.	IEEE Trans. Software Eng.	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.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
46	Mark B. Josephs	Models for Data-Flow Sequential Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
44	Petros Kefalas, George Eleftherakis, Evangelos Kehris	Communicating X-Machines: From Theory to Practice.	Panhellenic Conference on Informatics	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.	RODIN Book	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.	KES	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.	VLSI Design	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.	IEEE Trans. Software Eng.	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.	HICSS (2)	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.	RE	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.	IEEE Real Time Technology and Applications Symposium	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.	Communicating Embedded Systems	2013	DBLP DOI BibTeX RDF
40	Didier Lime, Olivier H. Roux, Jirí Srba	Models for Real-Time Embedded Systems.	Communicating Embedded Systems	2013	DBLP DOI BibTeX RDF
40	Franck Cassez, Nicolas Markey	Control of Timed Systems.	Communicating Embedded Systems	2013	DBLP DOI BibTeX RDF
40	Thao Dang 0001, Goran Frehse, Antoine Girard, Colas Le Guernic	Tools for the Analysis of Hybrid Models.	Communicating Embedded Systems	2013	DBLP DOI BibTeX RDF
40	Franck Cassez, Stavros Tripakis	Fault Diagnosis of Timed Systems.	Communicating Embedded Systems	2013	DBLP DOI BibTeX RDF
40	Susanna Donatelli, Serge Haddad	Quantitative Verification of Markov Chains.	Communicating Embedded Systems	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.	Communicating Embedded Systems	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	Spatial Data: mining, processing and communicating	2006	DBLP BibTeX RDF
40	Steffen Volz	Management and Conflation of Multiple Representations within an Open Federation Platform.	Spatial Data: mining, processing and communicating	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.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	David May 0001	CSP, occam and Transputers.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Sadie Creese	Industrial Strength CSP: Opportunities and Challenges in Model-Checking.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Peter Y. A. Ryan	Shedding Light on Haunted Corners of Information Security.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	A. W. Roscoe 0001	Seeing Beyond Divergence.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Jeff Magee, Jeff Kramer	Model-Based Design of Concurrent Programs.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Michael Goldsmith	Operational Semantics for Fun and Profit.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Jonathan Lawrence	Practical Application of CSP and FDR to Software Design.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Mike Reed	Order, Topology, and Recursion Induction in CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Steve A. Schneider, Rob Delicata	Verifying Security Protocols: An Application of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Jifeng He 0001	Linking Theories of Concurrency.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Jan Peleska 0001	Applied Formal Methods - From CSP to Executable Hybrid Specifications.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
40	Carroll Morgan	Of Probabilistic Wp and SP-and Compositionality.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
38	Dana Pardubská, Martin Plátek, Friedrich Otto	Parallel Communicating Grammar Systems with Regular Control.	CAI	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.	Formal Aspects Comput.	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.	SIGDOC	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.	TestCom	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.	RTCSA	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.	EUROMICRO	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.	HICSS (2)	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.	FTDCS	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	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.	TestCom	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.	TestCom	2000	DBLP BibTeX RDF
36	Juhani Latvakoski, H. Honka	Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems.	IWTCS	1999	DBLP BibTeX RDF
35	Ismail Berrada, Richard Castanet, Patrick Félix	Testing Communicating Systems: a Model, a Methodology, and a Tool.	TestCom	2005	DBLP DOI BibTeX RDF
33	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	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.	NordiCHI	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.	DS-RT	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.	ACSD	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.	ISCC	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.	STACS	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.	WETICE	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	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.	TEI	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.	Formal Aspects Comput.	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.	Conf. Computing Frontiers	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.	TestCom	2003	DBLP DOI BibTeX RDF
28	Peter Buchholz 0001	Product Form Approximations for Communicating Markov Processes.	QEST	2008	DBLP DOI BibTeX RDF
28	Stephan Rössig, Michael Schenke	Specification and Stepwise Development of Communicating Systems.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
28	Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava	Refining Interfaces of Communicating Systems.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
27	Jianbing Lin, Jinan Zou	Implementation of Enterprise Instant Communicating System Based on Application Layer with Java Programming.	IFITA (3)	2009	DBLP DOI BibTeX RDF	instant communicating, thread, socket, daemon
27	Robert Charles Lange, Spiros Mancoridis	thr2csp: Toward Transforming Threads into Communicating Sequential Processes.	SCAM	2009	DBLP DOI BibTeX RDF	concurrency, reverse engineering, communicating sequential processes
27	Wenjun Li, Xiaocong Zhou, Shixian Li	The Typing of Communicating Sequential Processes.	TOOLS (31)	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.	Annual Simulation Symposium	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.	ACM Trans. Program. Lang. Syst.	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.	IEEE Trans. Computers	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.	IEEE Trans. Computers	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.	SIGMETRICS	1985	DBLP DOI BibTeX RDF
26	Kavita Thomas, Pierre Proske, Mattias Rickardsson	Intelligent fridge poetry magnets.	IUI	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.	Discret. Event Dyn. Syst.	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.	FME	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.	ICFEM	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.	IEEE Trans. Parallel Distributed Syst.	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.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
24	Dominic Orchard, Mihail Munteanu, Paulo Torrens	Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
24	Kristin Stock, Christopher B. Jones, Thora Tenbrink	Speaking of Location: Communicating about Space with Geospatial Natural Language.	SoL@COSIT	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.	CRIS	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.	CRIS	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.	CRIS	2016	DBLP DOI BibTeX RDF
24	Andrew Bate, Gavin Lowe	A Debugger for Communicating Scala Objects.	CPA	2012	DBLP BibTeX RDF
24	Kevin Chalmers	A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance.	CPA	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'.	Sci. Eng. Ethics	2010	DBLP DOI BibTeX RDF
24	Martin Korsgaard, Sverre Hendseth	Design Patterns for Communicating Systems with Deadline Propagation.	CPA	2009	DBLP DOI BibTeX RDF
24	Kevin Chalmers, Jon M. Kerridge	An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures.	CPA	2009	DBLP DOI BibTeX RDF