The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase concurrent system (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1988 (16) 1989-1990 (16) 1991-1994 (15) 1995-1997 (16) 1998-2000 (16) 2001-2003 (20) 2004-2005 (28) 2006-2007 (24) 2008-2009 (21) 2010-2017 (15) 2020 (1)
Publication types (Num. hits)
article(45) incollection(1) inproceedings(140) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 253 occurrences of 181 keywords

Results
Found 188 publication records. Showing 188 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
44Maurice Herlihy, Jeannette M. Wing Linearizable concurrent objects. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
26Tatsuya Abe 0001 A Concurrent System of Multi-ported Processes with Causal Dependency. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Eric Fabre Trellis Processes : A Compact Representation for Runs of Concurrent Systems. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
22Jin Guo, Mingyuan Liu, Lifang Liu Research on the Performance Analysis of the Concurrent System. Search on Bibsonomy PDCAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21J. Jenny Li, Hong Liu, Rudolph E. Seviora Constructing automated protocol testing oracles to accommodate specification nondeterminism. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
20Michael J. Jipping, Ray Ford Predicting Performance of Concurrency Control Designs. Search on Bibsonomy SIGMETRICS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
19Enrique Alba 0001, Francisco Chicano Searching for liveness property violations in concurrent systems with ACO. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
19Marco Danelutto, Andrea Masini A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
18Edmund M. Clarke, Orna Grumberg, David E. Long Verification Tools for Finite-State Concurrent Systems. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF model checking, temporal logic, binary decision diagrams, automatic verification
18Edgar G. Daylight, Sandeep K. Shukla On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptability, non-functional requirements, formal specification languages, local reasoning
17Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
16Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing On the Parameterized Algebraic Specification of Concurrent Systems. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
16Steven K. Goering, Simon M. Kaplan Visual Concurrent Object-Based Programming in GARP. Search on Bibsonomy PARLE (2) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
16Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima A Supporting Tool for Development of Self-Measurement Ada Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
15Peggy B. McGee, Steven M. Nowick An efficient algorithm for time separation of events in concurrent systems. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. Search on Bibsonomy ISSTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Hassan Reza, Emanuel S. Grant A method to test concurrent systems using architectural specification. Search on Bibsonomy J. Supercomput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems
15Hassan Reza A Methodology for Architectural Design of Concurrent and Distributed Software Systems. Search on Bibsonomy J. Supercomput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs)
15Pierre Wolper, Patrice Godefroid Partial-Order Methods for Temporal Verification. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Malay K. Ganai, Sudipta Kundu Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions. Search on Bibsonomy SPIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Zbigniew Suraj, Krzysztof Pancerz A Synthesis of Concurrent Systems: A Rough Set Approach. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF minimal rules, Information systems, knowledge discovery, coloured Petri nets, concurrent systems
13Ke Huang, Zhihong Li, Benjamin Koo, Tianju Wang SimSync: A Table-Based Constraint Processing Language For Synchronization Control. Search on Bibsonomy ISPA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent system, synchronization control
13Anmol Mathur, Ali Dasdan, Rajesh K. Gupta 0001 Rate analysis for embedded systems. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF average execution rate, concurrent system modeling, interactive rate violation debugging, rate constraints, embedded systems, rate analysis
13Theodore Johnson Approximate Analysis of Reader/Writer Queues. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF reader/writer, lock queue, Performance analysis, concurrent system, queuing system
13Boris Stilman Dynamic Hierarchy for Multiagent Air Combat. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Linguistic Geometry, Dynamic Hierarchy, Heuristic Networks, Opposing Agents, Heuristic Search, Concurrent System
13Garth Baulch, David Hemmendinger, Cherrice Traver Analyzing and verifying locally clocked circuits with the concurrency workbench. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
13Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
13Daniel Y. Chao, David T. Wang A synthesis technique of general petri nets. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system
13Wilfried Brauer, Robert Gold, Walter Vogler A survey of behaviour and equivalence preserving refinements of Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
13Wolfgang Reisig Towards a temporal logic of causality and choice in distributed systems. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Concurrent System Properties, Petri Nets, Temporal Logic
12Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün Recovering Repetitive Sub-functions from Observations. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Robert G. Pettit IV, Hassan Gomaa Improving the Reliability of Concurrent Object-Oriented Software Designs. Search on Bibsonomy WORDS Fall The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Victor Wing-Kit Mak, Stephen F. Lundstrom Predicting Performance of Parallel Computations. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF series-parallel directed acyclic graph, service centers, commercial multiprocessor, simulation, performance evaluation, parallel processing, parallel computations, queueing theory, directed graphs, performance prediction, concurrent systems, queuing network model, task system
12Salvador Lucas, José Meseguer Termination of Fair Computations in Term Rewriting. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fairness, program analysis, Concurrent programming, termination, term rewriting
12Kai-Yuan Cai, Xiang-Yun Wang Towards a Control-Theoretical Approach to Software Fault-Tolerance. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Inference of Message Sequence Charts. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
12Rajeev Alur, Kousha Etessami, Mihalis Yannakakis Inference of message sequence charts. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
12Patrice Godefroid VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
12Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
12Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
11Robert G. Pettit IV, Hassan Gomaa Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Frédéric Lang Refined Interfaces for Compositional Verification. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Robert G. Pettit IV, Hassan Gomaa Modeling behavioral design patterns of concurrent objects. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF behavioral design patterns, software architecture, colored petri nets, COMET
11Peter A. Buhr, Ashif S. Harji Implicit-signal monitors. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Automatic signal, explicit signal, implicit signal, simulation, parallel, concurrency, monitor
11Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith State/Event Software Verification for Branching-Time Specifications. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
11Blaise Genest On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Paul C. Attie, E. Allen Emerson Synthesis of Concurrent Systems with Many Similar Processes. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF temporal logic, concurrent programs, program synthesis
11Farn Wang, Chia-Tien Dan Lo Procedure-Level Verification of Real-time Concurrent Systems. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
11Paul C. Attie, E. Allen Emerson Synthesis of Concurrent Systems with Many Similar Sequential Processes. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11Antoni W. Mazurkiewicz Concurrency, Modularity, and Synchronization. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
10Chiung-Wen Liu, Li-An Ho, Ting-Yu Chueh Exploring the learning effectiveness of financial literacy from the microworld perspective: Evidence from the simulated transactional interactive concurrent system. Search on Bibsonomy J. Comput. Assist. Learn. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
10Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White Concurrent System Programming with Effect Handlers. Search on Bibsonomy TFP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
10Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
10Hugues Evrard DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
10Ramunas Gutkovas Languages, Logics, Types and Tools for Concurrent System Modelling. Search on Bibsonomy 2016   RDF
10Federico Campeotto, Agostino Dovier, Enrico Pontelli A declarative concurrent system for protein structure prediction on GPU. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
10Alexander S. Kamkin Projecting transition systems: Overcoming state explosion in concurrent system verification. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
10Antti Valmari A state space tool for concurrent system models expressed in C++. Search on Bibsonomy SPLST The full citation details ... 2015 DBLP  BibTeX  RDF
10Lin Zhang, Peter Slaets, Herman Bruyninckx An FPGA Based Architecture for Concurrent System Design Applied to Human-robot Interaction Applications. Search on Bibsonomy ISPE CE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
10André Ayoun, Gianni Inzerillo, Benoit Fonck, Alfredo Gomez Concurrent system engineering in Air Traffic Management: steering the SESAR program. Search on Bibsonomy CSDM (Posters) The full citation details ... 2013 DBLP  BibTeX  RDF
10Michael J. Lutz The Erlang approach to concurrent system development. Search on Bibsonomy FIE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
10Anton Wijs Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. Search on Bibsonomy FACS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
10Yan Shen, Qi-fei Zhang, Ling-di Ping, Yan-Fei Wang, Wen-juan Li A Multi-tunnel VPN Concurrent System for New Generation Network Based on User Space. Search on Bibsonomy TrustCom The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
10Robert Mittermayr, Johann Blieberger Shared Memory Concurrent System Verification using Kronecker Algebra Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
10Chun-Yu Lin, Huang-Chen Lee, Wei-Hsuan Lee, Chen-Lung Chan, Chung-Ta King SenPro: concurrent system profiling for wireless sensor networks. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF wireless sensor networks, profiling, TinyOS
10Yang Su, Jun Qin Approach on modeling crosscutting features in concurrent system. Search on Bibsonomy NCM The full citation details ... 2010 DBLP  BibTeX  RDF
10Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
10Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland Preserving coordination properties when transforming concurrent system components. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning. Search on Bibsonomy CSSE (5) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Naoshi Uchihira Future Direction and Roadmap of Concurrent System Technology. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal Ordering of events in two-process concurrent system. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallel processing, weakest precondition, program specification, program correctness
10Zbigniew Suraj, Krzysztof Pancerz Reconstruction of Concurrent System Models Described by Decomposed Data Tables. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2006 DBLP  BibTeX  RDF
10Anders Gidenstam Algorithms for synchronization and consistency in concurrent system services. Search on Bibsonomy 2006   RDF
10Zbigniew Suraj, Krzysztof Pancerz Restriction-Based Concurrent System Design Using the Rough Set Formalism. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2005 DBLP  BibTeX  RDF
10Jonathan E. Cook, Zhidian Du Discovering thread interactions in a concurrent system. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Masaki Murakami A calculus for concurrent system with higher-order streaming communication. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Masaki Murakami A Calculus for Concurrent System with Higher-Order Streaming Communication. Search on Bibsonomy Software Engineering Research and Practice The full citation details ... 2004 DBLP  BibTeX  RDF
10Wan Bok Lee, Tag Gon Kim Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2003 DBLP  BibTeX  RDF
10Serap A. Savari On Compressing Interchange Classes of Events in a Concurrent System. Search on Bibsonomy DCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Serap A. Savari Compressing a Representation of Events in a Concurrent System. Search on Bibsonomy Advances in Network Information Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Jonathan E. Cook, Zhidian Du Discovering Thread Interactions in a Concurrent System. Search on Bibsonomy WCRE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Gérard Berthelot, Laure Petrucci Specification and validation of a concurrent system: an educational project. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Verification, Education, Specification, Coloured Petri nets
10Shane Sendall, Alfred Strohmeier Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
10Esfandiar Haghverdi, Hasan Ural Submodule construction from concurrent system specifications. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Frederick T. Sheldon Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets. Search on Bibsonomy ESM The full citation details ... 1998 DBLP  BibTeX  RDF
10N. W. Keesmaat, H. C. M. Kleijn Restrictions and Representations of Vector Controlled Concurrent System Behaviours. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Bruce R. Montague, Charles E. McDowell Synchronous/Reactive Programming of Concurrent System Software. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Gerard J. Holzmann Tutorial: Proving Properties of Concurrent System with SPIN. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna A Graphical Methodology for Concurrent System Design. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
10Bill Lin 0001, Steven Vercauteren Synthesis of concurrent system interface modules with automatic protocol conversion generation. Search on Bibsonomy ICCAD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
10José Luiz Fiadeiro, T. S. E. Maibaum Temporal Theories as Modularisation Units for Concurrent System Specification. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
10David W. Bustard, Mark T. Norris, Rodney A. Orr, Adam C. Winstanley An Exercise in Formalizing the Description of a Concurrent System. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
10Shirley Ann Becker, Alan R. Hevner Concurrent system design with box structures. Search on Bibsonomy COMPSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
10Mario D'Anna, Sebastiano Trigila Concurrent system analysis using Petri nets: an optimized algorithm for finding net invariants. Search on Bibsonomy Comput. Commun. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Zenon Mital CDDT - concurrent system operation display and debugging tool. Search on Bibsonomy Microprocess. Microprogramming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. Search on Bibsonomy ICDCS The full citation details ... 1985 DBLP  BibTeX  RDF
10Aamer Mahmood, Edward J. McCluskey, Aydin Ersoz Concurrent System-Level Error Detection Using a Watchdog Processor. Search on Bibsonomy ITC The full citation details ... 1985 DBLP  BibTeX  RDF
10Miklos Szijarto A classification and closure properties of languages for describing concurrent system behaviours. Search on Bibsonomy Fundam. Informaticae The full citation details ... 1981 DBLP  BibTeX  RDF
10M. W. Shields, Peter E. Lauer Verifying Concurrent System Specification in COSY. Search on Bibsonomy MFCS The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 188 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license