The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1975-1983 (25) 1984 (19) 1985-1986 (21) 1987 (26) 1988 (22) 1989 (20) 1990 (18) 1991 (19) 1992 (22) 1993 (27) 1994 (21) 1995 (27) 1996 (36) 1997 (44) 1998 (28) 1999 (48) 2000 (67) 2001 (62) 2002 (94) 2003 (118) 2004 (135) 2005 (156) 2006 (144) 2007 (156) 2008 (197) 2009 (139) 2010 (67) 2011 (70) 2012 (70) 2013 (64) 2014 (68) 2015 (75) 2016 (62) 2017 (53) 2018 (50) 2019 (48) 2020 (51) 2021 (119) 2022 (82) 2023 (61) 2024 (5)
Publication types (Num. hits)
article(664) book(4) data(1) incollection(19) inproceedings(1895) phdthesis(46) proceedings(7)
Venues (Conferences, Journals, ...)
CP(185) CoRR(125) CSP(92) CPA(35) Formal Aspects Comput.(32) IFM(31) ICFEM(30) AI-CSP(28) Constraints An Int. J.(28) CSP Forum(28) CONCUR(22) ICTAI(20) IEEE Trans. Software Eng.(20) SAC(20) 25 Years Communicating Sequent...(19) CPAIOR(19) More (+10 of total 854)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1404 occurrences of 649 keywords

Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100Takahiro Nakano, Masahiro Nagamatu Lagrange Neural Network for Solving CSP Which Includes Linear Inequality Constraints. Search on Bibsonomy ICANN (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
93Takahiro Nakano, Masahiro Nagamatu Solving CSP by Lagrangian Method with Importance of Constraints. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF neural network, CSP, constraint satisfaction problem, Lagrangian method
86Neil Evans, Helen Treharne Interactive tool support for CSP || B consistency checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
86Alistair A. McEwan, Steve A. Schneider A verified development of hardware using CSP∥B. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
79Steve A. Schneider, Helen Treharne, Neil Evans Chunks: Component Verification in CSP||B. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Component based verification, decomposition, CSP, B-Method
79Muan Yong Ng, Michael J. Butler Tool Support for Visualizing CSP in UML. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML, CSP, class diagram, state diagram
73Dániel Marx Tractable hypergraph properties for constraint satisfaction and conjunctive queries. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability
72Renata Kaufman, Augusto Sampaio, Alexandre Mota 0001 Formalisation and Analysis of Objects as CSP Processes. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Design Pattern, CSP, Object-Z, Object-Oriented Specification
72Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim Linking CSP-OZ with UML and Java: A Case Study. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, UML, CSP, assertions, Object-Z, runtime checking
72John Derrick, Graeme Smith 0001 Structural Refinement of Systems Specified in Object-Z and CSP. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ensp, Integrated formal methods, Refinement, CSP, Object-Z
72Ernst-Rüdiger Olderog, Heike Wehrheim Specification and Inheritance in CSP-OZ. Search on Bibsonomy FMCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF failure divergence semantics, safety and liveness properties, model-checking, CSP, inheritance, Object-Z, FDR
71William B. Gardner Converging CSP specifications and C++ programming via selective formalism. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hardware/software codesign, Executable specifications, object-oriented application frameworks
71William B. Gardner Bridging CSP and C++ with Selective Formalism and Executable Specifications. Search on Bibsonomy MEMOCODE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
71Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim A CSP View on UML-RT Structure Diagrams. Search on Bibsonomy FASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
65Andrei A. Bulatov, Víctor Dalmau Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
64Jin-yi Cai, Pinyan Lu, Mingji Xia Holant problems and counting CSP. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF holant problem, holographic reduction, CSP, polynomial interpolation
64Yannis Argyropoulos, Kostas Stergiou 0001 A Study of SAT-Based Branching Heuristics for the CSP. Search on Bibsonomy SETN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Branching Heuristics, CSP, SAT
64Michael J. Butler csp2B: A Practical Approach to Combining CSP and B. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Refinement, CSP, B Method
64Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007 A Reasoning Method for Timed CSP Based on Constraint Solving. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Igor Razgon, Amnon Meisels A CSP Search Algorithm with Responsibility Sets and Kernels. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CSP search algorithm, FC-RKP, MAC-RKP, Kernel
63John Derrick Timed CSP and Object-Z. Search on Bibsonomy ZB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Refinement, Object-Z, Timed CSP
63Heike Wehrheim Data Abstraction Techniques in the Validation of CSP-OZ Specifications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Integrated formal methods, CSP-OZ, Verification, Data abstraction
59N. Liu, M. T. Liu Conformity analysis for communication protocols. Search on Bibsonomy SIGCOMM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF CSP, CSP, CSP
58Jun Sun 0001, Jin Song Dong Model Checking Live Sequence Charts. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification, CSP, FDR, LSCs
58Marco A. Boschetti, Aristide Mingozzi, Salvatore Ricciardelli An Exact Algorithm for the Simplified Multiple Depot Crew Scheduling Problem. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dual heuristics, personal scheduling, set partitioning
58Juan Li 0001, Mingshu Li 0001, Zhanchun Wu, Qing Wang 0001 A Metamodel for the CMM Software Process. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Michael Leuschel, Marc Fontaine Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method
57Kirsten Winter Formalising Behaviour Trees with CSP. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Behaviour Trees, model checking, Requirements engineering, CSP
57Incheon Paik, Daisuke Maruyama Automatic Web Services Composition Using Combining HTN and CSP. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Daisuke Maruyama, Incheon Paik, Mitsuteru Shinozawa A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57John D. Carter, William B. Gardner A Formal CSP Framework for Message-Passing HPC Programming. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Steve A. Schneider, Helen Treharne CSP theorems for communicating B machines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Yoshinao Isobe, Markus Roggenbach A Generic Theorem Prover of CSP Refinement. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Frank S. de Boer, Catuscia Palamidessi Embedding as a Tool for Language Comparison: On the CSP Hierarchy. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF concurrent logic languages, embedding, compositional semantics
56Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Encoding Max-CSP into Partial Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Minimal Support, Max-CSP, Partial Max-SAT, Encodings
55John J. Zic Time-Constrained Buffer Specifications in CSP+T and Timed CSP. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF real-time algebraic languages
55Alfonso Gerevini, Ivan Serina Planning as Propositional CSP: From Walksat to Local Search Techniques for Action Graphs. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF planning as CSP, propositional CSP, planning graphs, planning, local search, heuristic search
52Hélène Kanso Résolution des problèmes (W)CSP et #CSP par approches structurelles: Calcul et exploitation dynamique de décompositions arborescentes. (Solving (W)CSP and #CSP problems by structural approaches: computation and dynamic exploitation of tree decompositions). Search on Bibsonomy 2017   RDF
51Gérard Berry, S. Ramesh 0001, R. K. Shyamasundar Communicating Reactive Processes. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF CSP, CSP
51Leo Freitas, Jim Woodcock 0001 FDR Explorer. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Model checking, Refinement, CSP, Automata, Labelled transition systems, FDR
51Marielle Doche, Andrew M. Gravell Extraction of Abstraction Invariants for Data Refinement. Search on Bibsonomy ZB The full citation details ... 2002 DBLP  DOI  BibTeX  RDF failure refinement, distributed system, Formal specification, CSP, B, data refinement
51Jochen Hoenicke, Ernst-Rüdiger Olderog Combining Specification Techniques for Processes, Data and Time. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
51Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF maximum constraint satisfaction, complexity, approximability
51Miroslav N. Velev Exploiting hierarchy and structure to efficiently solve graph coloring as SAT. Search on Bibsonomy ICCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Andrei A. Bulatov A dichotomy theorem for constraint satisfaction problems on a 3-element set. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem
51Katsutoshi Hirayama, Makoto Yokoo An Approach to Over-constrained Distributed Constraint Satisfaction Problems: Distributed Hierarchical Constraint Satisfaction. Search on Bibsonomy ICMAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
51Luigi Portinale Modeling and Solving Constraint Satisfaction Problems through Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
50Kun Wei, James Heather Embedding the Stable Failures Model of CSP in PVS. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CSP, deadlock, determinism, liveness, theorem prover
50Xu Wang 0001, A. W. Roscoe 0001, Ranko Lazic 0001 Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Trace refinement, Model checking, CSP, Array, Reachability, Data independence
50Gerald H. Hilderink, Andry W. P. Bakkers, Jan F. Broenink A Distributed Real-Time Java System Based on CSP. Search on Bibsonomy ISORC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF scheduling, Java, real-time, formal method, object-oriented, distributed, embedded, CSP, priority
50Colin J. Fidge A Formal Definition of Priority in CSP. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Ada, Ada, CSP, Priority, Communicating Sequential Processes, occam, OCCAM, real-time programming
49Robert Colvin, Ian J. Hayes CSP with Hierarchical State. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Samira Sadaoui, Malek Mouhoub, Xiao Feng Li An OCL-Based CSP Specification and Solving Tool. Search on Bibsonomy New Challenges in Applied Intelligence Technologies The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans Automatic Generation of CSP || B Skeletons from xUML Models. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Giorgio Gosti Resolving CSP with Naming Games. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Markus Zanker, Dietmar Jannach, Marius-Calin Silaghi, Gerhard Friedrich A Distributed Generative CSP Framework for Multi-site Product Configuration. Search on Bibsonomy CIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Ana Cavalcanti 0001, Marie-Claude Gaudel Testing for Refinement in CSP. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture. Search on Bibsonomy ECBS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Igor Razgon Complexity Analysis of Heuristic CSP Search Algorithms. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Carla P. Gomes, David B. Shmoys Approximations and Randomization to Boost CSP Techniques. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49María Isabel Alfonso, Federico Barber A Mixed Closure-CSP Method for Solving Scheduling Problems. Search on Bibsonomy Appl. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF heuristic search, temporal reasoning, planning and scheduling
49Christie Bolton, Jim Davies Refinement in Object-Z and CSP. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Yat Chiu Law, Jimmy Ho-Man Lee Algebraic Properties of CSP Model Operators. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Miguel A. Salido, Federico Barber An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Nico Roos, Yongping Ran, H. Jaap van den Herik Combining Local Search and Constraint Propagation to Find a Minimal Change Solution for a Dynamic CSP. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Heike Wehrheim Data Abstraction for CSP-OZ. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Zineb Habbas, Francine Herrmann, Daniel Singer, Michaël Krajecki A Methodological Approach to Implement CSP on FPGA. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49Alexandre Mota 0001, Augusto Sampaio Model-Checking CSP-Z. Search on Bibsonomy FASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Stefan S. Dantchev, Frank D. Valencia On the computational limits of infinite satisfaction. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite CSP, open CSP, decidability, constraint satisfaction problems
49David A. Basin, Ernst-Rüdiger Olderog, Paul E. Sevinç Specifying and analyzing security automata using CSP-OZ. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CSP-OZ, security automata
49Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Real-time Systems, Case Studies, Z, Time CSP
49Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson Reliability analysis of CSP specifications using Petri nets and Markov processes. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
49Albert John Camilleri Mechanizing CSP Trace Theory in Higher Order Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF mechanising CSP trace theory, general-purpose theorem prover, formal specification, theorem proving, formal logic, higher order logic, communicating sequential processes
48Sadie 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
48Mike 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
48Stephen D. Brookes Retracing the Semantics of CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Jan 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
44Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001 Refinement in Circus. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF unifying theories of programming, distribution, CSP, Z
44Jianxin Wang 0001, Min Huang, Jianer Chen A Lower Bound on Approximation Algorithms for the Closest Substring Problem. Search on Bibsonomy COCOA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Steve A. Schneider, Helen Treharne Verifying Controlled Components. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Yong Gao 0001, Joseph C. Culberson Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Andrei A. Bulatov A Dichotomy Theorem for Constraints on a Three-Element Set. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Lefteris M. Kirousis Fast Parallel Constraint Satisfaction. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Bernard A. Nadel Representation Selection for Constraint Satisfaction: A Case Study Using n-Queens. Search on Bibsonomy IEEE Expert The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
44Andrew Cheese Multi-Moded Relations in Parlog. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF PARLOG, PARLOG
43Montserrat Abril, Miguel A. Salido, Federico Barber DFS-Tree Based Heuristic Search. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CSP Decomposition, DFS-tree, heuristic search, Constraint Satisfaction Problems
42Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier Applying CSP || B to information systems. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Information systems, CSP, Compositional verification, B, Combining formalisms
42Yan Tang, Jingtian Tang, Andong Gong Multi-Class EEG Classification for Brain Computer Interface based on CSP. Search on Bibsonomy BMEI (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-Class EEG Classification, CSP, BCI
42Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit The MEB and CEB Static Analysis for CSP Specifications. Search on Bibsonomy LOPSTR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CSP, Concurrent Programming, Program Slicing
42Christie Marr Capturing Conflict and Confusion in CSP. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
42A. W. Roscoe 0001 On the expressive power of CSP refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Refinement, Topology, CSP, Full abstraction
42Jeremy W. Bryans Reasoning about XACML policies using CSP. Search on Bibsonomy SWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF santic models, access control, CSP, XACML
42Wing Lok Yeung, Steve A. Schneider Design and Verification of Distributed Recovery Blocks with CSP. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification
42Peter H. Welch, Jeremy M. R. Martin A CSP Model for Java Multithreading. Search on Bibsonomy PDSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
42Neil Evans, Steve A. Schneider Analysing Time Dependent Security Properties in CSP Using PVS. Search on Bibsonomy ESORICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Authentication Protocol Verification, Timed Behaviour, CSP, Automated Theorem Proving, PVS
42Christopher H. Nevison Seminar: safe concurrent programming in Java with CSP. Search on Bibsonomy SIGCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, CSP, concurrent programming, threads
42Steve A. Schneider Verifying Authentication Protocols in CSP. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP
42Gavin Lowe, A. W. Roscoe 0001 Using CSP to Detect Errors in the TMN Protocol. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF protocol failure, model checking, cryptography, Security protocols, CSP, key establishment, FDR
42Steve A. Schneider Verifying authentication protocols with CSP. Search on Bibsonomy CSFW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP
42Andrew M. Tyrrell, Geof F. Carpenter CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF fault tolerance, CSP, concurrent systems, Atomic actions
Displaying result #1 - #100 of 2636 (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