The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1980-1984 (18) 1985-1987 (20) 1988 (16) 1989 (25) 1990 (18) 1991 (30) 1992 (25) 1993 (57) 1994 (59) 1995 (18) 1996 (43) 1997 (34) 1998 (42) 1999 (32) 2000 (50) 2001 (54) 2002 (69) 2003 (71) 2004 (64) 2005 (75) 2006 (82) 2007 (87) 2008 (95) 2009 (100) 2010 (130) 2011 (135) 2012 (142) 2013 (315) 2014 (341) 2015 (364) 2016 (362) 2017 (374) 2018 (318) 2019 (345) 2020 (384) 2021 (439) 2022 (530) 2023 (523) 2024 (4)
Publication types (Num. hits)
article(176) book(2) incollection(1) inproceedings(5548) phdthesis(6) proceedings(157)
Venues (Conferences, Journals, ...)
CCS(3214) AsiaCCS(555) WPES@CCS(169) AISec@CCS(152) MTD@CCS(118) ASHES@CCS(93) SPSM@CCS(79) CPS-SPC@CCS(64) CONCUR(60) CCSW(53) PLAS@CCS(52) CPSIOTSEC@CCS(45) MIST@CCS(43) TrustED@CCS(42) WAHC@CCS(38) WISCS@CCS(32) More (+10 of total 385)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1522 occurrences of 848 keywords

Results
Found 5891 publication records. Showing 5890 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
202Jesús Aranda, Frank D. Valencia, Cristian Versari On the Expressive Power of Restriction and Priorities in CCS with Replication. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
105Roberto Gorrieri, Ugo Montanari Distributed Implementation of CCS. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
96Alberto Verdejo, Narciso Martí-Oliet Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude
85Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
78Anthony-Trung Nguyen, Josep Torrellas Design Trade-Offs in High-Throughput Coherence Controllers. Search on Bibsonomy IEEE PACT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
76Mario R. F. Benevides, Luis Menasché Schechter A Propositional Dynamic Logic for CCS Programs. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
70Bard Bloom, Sorin Istrail, Albert R. Meyer Bisimulation Can't be Traced. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF process algebra, bisimulation, CCS, CCS, structural operational semantics
69Bent Thomsen A Calculus of Higher Order Communicating Systems. Search on Bibsonomy POPL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF CCS
66Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. Search on Bibsonomy FAW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
66Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 Impossibility Results for the Equational Theory of Timed CCS. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Axel Keller, Alexander Reinefeld CCS Resource Management in Networked HPC Systems. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 1998 DBLP  DOI  BibTeX  RDF heterogeneous system integration, resource management, metacomputing
58Hsin-Min Lu, Chwan-Chuen King, Tsung-Shu Joseph Wu, Fuh-Yuan Shih, Jin-Yi Hsiao, Daniel Dajun Zeng, Hsinchun Chen Chinese Chief Complaint Classification for Syndromic Surveillance. Search on Bibsonomy BioSurveillance The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multilingual chief complaint classification, Chinese chief complaints, mutual information, UMLS, syndromic surveillance, medical ontology
58Colin Stirling Temporal logics for CCS. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Key-words transition systems, temporal logic, modal logic, CCS
56Li Bao, Weishi Zhang, Xiuguo Zhang Describing and Verifying Web Service by CCS on a Case Study. Search on Bibsonomy ICNSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Monica Nesi Value-Passing CCS in HOL. Search on Bibsonomy HUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
56Nicoletta De Francesco, Paola Inverardi A Semantic Driven Method to Check the Finiteness of CCS Processes. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
56Juanito Camilleri A Conditional Operator for CCS. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
56Ursula Goltz CCS and Petri Nets. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Tamara Sumner, CCS Team Customizing science instruction with educational digital libraries. Search on Bibsonomy JCDL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF differentiated instruction, software infrastructure for teachers, personalization, educational digital libraries, science education, customizing instruction
50Gabriel Ciobanu, Dorel Lucanu Specification and Verification of Synchronizing Concurrent Objects. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
50Alessandro Giacalone, Scott A. Smolka Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
48Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann Modeling and Model Checking Software Product Lines. Search on Bibsonomy FMOODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Francesc Giné, Francesc Solsona, Mauricio Hanzich, Porfidio Hernández, Emilio Luque Cooperating CoScheduling: A Coscheduling Proposal Aimed at Non-Dedicated Heterogeneous NOWs. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF non-dedicated and heterogeneous NOW computing, resource allocation, job scheduling
48Wilfred Ng Prioritized Preferences and Choice Constraints. Search on Bibsonomy ER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Bavani Arunasalam, Sanjay Chawla CCCS: a top-down associative classifier for imbalanced class distribution. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parameter-free mining, classification, association rules mining, imbalanced data sets
48Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu Efficient Data Compression Methods for Multi-Dimensional Sparse Array Operations. Search on Bibsonomy CW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Data compression scheme, Sparse array operation, Multi-dimensional sparse array, Karnaugh Map
48Ernst G. Ulrich, Karen Lentz, Jack H. Arabian, Michael Gustin, Vishwani D. Agrawal, Pier Luca Montessoro The Comparative and Concurrent Simulation of discrete-event experiments. Search on Bibsonomy J. Electron. Test. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF comparative simulation, Discrete-event simulation, parallel simulation, concurrent simulation
48Gian-Luigi Ferrari 0002 On Causality Observed Incrementally, Finally. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
48Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik A finite equational base for CCS with left merge and communication merge. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF communication merge, finite equational base, left merge, concurrency, process algebra, CCS, parallel composition, handshaking, Bisimilarity
48Li Zhao, Qing Li 0001, Xiaoli Liu, Nanshan Du A modeling method based on CCS for workflow. Search on Bibsonomy ICUIMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model, workflow, graphical, CCS
48Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini Reduced Models for Efficient CCS Verification. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, CCS, state explosion problem
47Li Bao, Weishi Zhang, Xiuguo Zhang Describing and Verifying Web Service Using CCS. Search on Bibsonomy PDCAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Davide Sangiorgi Types, or: Where's the Difference Between CCS and pi? Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
47Iain Phillips 0001 CCS with Priority Guards. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
47Wang Yi 0001 CCS + Time = An Interleaving Model for Real Time Systems. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Ugo Montanari, Vladimiro Sassone CCS Dynamic Bisimulation is Progressing. Search on Bibsonomy MFCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Padmanabhan Krishnan Distributed CCS. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Ursula Goltz On Representing CCS Programs by Finite Petri Nets. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
47Ursula Goltz, Alan Mycroft On the Relationship of CCS and Petri Nets. Search on Bibsonomy ICALP The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
47Stephen D. Brookes On the Relationship of CCS and CSP. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
46Fan Zhang 0009, Patrick McCorry DeFi '22: ACM CCS Workshop on Decentralized Finance and Security. Search on Bibsonomy CCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Sebastian Köhler 0005, Richard Baker 0008, Martin Strohmeier, Ivan Martinovic Demo: End-to-End Wireless Disruption of CCS EV Charging. Search on Bibsonomy CCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Mark Yampolskiy, Moti Yung AMSec'22: ACM CCS Workshop on Additive Manufacturing (3D Printing) Security. Search on Bibsonomy CCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
46Taesoo Kim, Zhiqiang Lin, Chia-che Tsai CCS'17 Tutorial Abstract / SGX Security and Privacy. Search on Bibsonomy CCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
46Danfeng (Daphne) Yao, Elisa Bertino CCS 2017: Women in Cyber Security (CyberW) Workshop. Search on Bibsonomy CCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
46Adrienne Porter Felt, N. Asokan CCS'13 co-located workshop summary for SPSM 2013. Search on Bibsonomy CCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
46William Enck, Xuxian Jiang CCS'12 co-located workshop summary for SPSM 2012. Search on Bibsonomy CCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
45Ilsun You, Elisa Bertino (eds.) Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016 Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
45Tabish Rashid, Ioannis Agrafiotis, Jason R. C. Nurse A New Take on Detecting Insider Threats: Exploring the Use of Hidden Markov Models. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Fulvio Valenza, Marco Vallini, Antonio Lioy Online and Offline Security Policy Assessment. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Kyungroul Lee, Hyeungjun Yeuk, Kangbin Yim, Suhyun Kim Analysis on Manipulation of the MAC Address and Consequent Security Threats. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg WatchIT: Who Watches Your IT Guy? Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Peter Mell, James M. Shook, Serban I. Gavrila Restricting Insider Access Through Efficient Implementation of Multi-Policy Access Control Systems. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Simon Parkin, Andrew Fielder, Alex Ashby Pragmatic Security: Modelling IT Security Management Responsibilities for SME Archetypes. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Yvo Desmedt, Arash Shaghaghi Function-Based Access Control (FBAC): From Access Control Matrix to Access Control Tensor. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Fei Song 0001, Wei Quan 0001, Tianming Zhao, Hongke Zhang, Ziwei Hu, Ilsun You Ports Distribution Management for Privacy Protection inside Local Domain Name System. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Markus Wurzenberger, Florian Skopik, Roman Fiedler, Wolfgang Kastner Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese A Tripwire Grammar for Insider Threat Detection. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Mohamed Yassine Naghmouchi, Nancy Perrot, Nizar Kheir, Ali Ridha Mahjoub, Jean-Philippe Wary A New Risk Assessment Framework Using Graph Theory for Complex ICT Systems. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Florian Kammueller, Manfred Kerber, Christian W. Probst Towards Formal Analysis of Insider Threats for Auctions. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Stefan Achleitner, Thomas La Porta, Patrick D. McDaniel, Shridatt Sugrim, Srikanth V. Krishnamurthy, Ritu Chadha Cyber Deception: Virtual Networks to Defend Insider Reconnaissance. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Wafa Ben Jaballah, Nizar Kheir A Grey-Box Approach for Detecting Malicious User Interactions in Web Applications. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
45Ryan V. Johnson, Jessie Lass, W. Michael Petullo Studying Naive Users and the Insider Threat with SimpleFlow. Search on Bibsonomy MIST@CCS The full citation details ... 2016 DBLP  BibTeX  RDF
39Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk Modeling and analysis of complex computer systems-the MTCCS approach. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
39Jirí Jaros, Vaclav Dvorak Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fat topologies, spidergon, collective communications, wormhole switching, evolutionary design, communication scheduling
39Pei-Yun Tsai, Duen-Ren Liu Personalized Popular Blog Recommender Service for Mobile Applications. Search on Bibsonomy EC-Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Time-Sensitive Topic, Recommender System, Blog, Mobile Service
39Piotr Matyasik, Marcin Szpyrka Formal Modelling and Verification of Concurrent Systems with XCCS. Search on Bibsonomy ISPDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta Constructing Camin-Sokal Phylogenies Via Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Camin-Sokal, answer set programming, phylogeny, maximum parsimony
39Xavier Llorà, Kumara Sastry, David E. Goldberg The compact classifier system: scalability analysis and first results. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro 0001 Modeling and Property Verification of Lactose Operon Regulation. Search on Bibsonomy BSB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Ashish Popli ACM Computer and Communication Security Conference. Search on Bibsonomy IEEE Secur. Priv. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu Efficient Data Compression Methods for Multidimensional Sparse Array Operations Based on the EKMR Scheme. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Data compression scheme, sparse array operation, multidimensional sparse array, sparse ratio, Karnaugh map
39Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Replication vs. Recursive Definitions in Channel Based Calculi. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Thomas Pfarr, James E. Reis The Integration of COTS/GOTS within NASA's HST Command and Control System. Search on Bibsonomy ICCBSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Nicoletta De Francesco, Antonella Santone A Transformation System for Concurrent Processes. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Ilaria Castellani Observing Distribution in Processes. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Gian-Luigi Ferrari 0002, Ugo Montanari Towards the Unification of Models for Concurrency. Search on Bibsonomy CAAP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr. IDEOSY: An Ideographic and Interactive Program Description System. Search on Bibsonomy Software Development Environments (SDE) The full citation details ... 1984 DBLP  DOI  BibTeX  RDF UNIX
38Philippe Golle Machine learning attacks against the Asirra CAPTCHA. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reverse turing test, machine learning, support vector machine, classifier, captcha
38Benoît Libert, Damien Vergnaud Multi-use unidirectional proxy re-signatures. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-use proxy re-cryptography, unidirectionality, digital signatures
37Hanne Riis Nielson, Flemming Nielson Data Flow Analysis for CCS. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Jifeng He 0001, C. A. R. Hoare CSP Is a Retract of CCS. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Luiz Gustavo Lopes, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner Odyssey-CCS: A Change Control System Tailored to Software Reuse. Search on Bibsonomy ICSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Fabio Martinelli Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Ashvin Dsouza, Bard Bloom On the Expressive Power of CCS. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Madhavan Mukund, Mogens Nielsen CCS, Location and Asynchronous Transition Systems. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Rocco De Nicola, Paola Inverardi, Monica Nesi Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
37Colin Stirling, David Walker 0002 CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
37Gérard Boudol, Ilaria Castellani Permutation of transitions: An event structure semantics for CCS and SCCS. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF pomset-labelled transition systems, process algebras, event structures
37Stefania Gnesi, Paola Inverardi, Monica Nesi A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
37Rocco De Nicola, Matthew Hennessy CCS without tau's. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
37Colin Stirling A Complete Compositional Model Proof System for a Subset of CCS. Search on Bibsonomy ICALP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
37Susanne Graf, Joseph Sifakis A Modal Characterization of Observational Congruence on Finite Terms of CCS. Search on Bibsonomy ICALP The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
35Rob J. van Glabbeek, Peter Höfner CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Search on Bibsonomy Acta Informatica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Rob J. van Glabbeek, Peter Höfner CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
35Ang Zhao The Challenges of Carbon Capture and Storage (CCS) Development in China: A Comparative Analysis of Three CCS Demonstration Cases in Europe, U.S., and China. Search on Bibsonomy Int. J. Appl. Logist. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Roberto M. Amadio On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. Search on Bibsonomy EXPRESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Roberto M. Amadio On convergence-sensitive bisimulation and the embedding of CCS in timed CCS Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 5890 (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