|
|
Venues (Conferences, Journals, ...)
|
|
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 |
202 | Jesús Aranda, Frank D. Valencia, Cristian Versari |
On the Expressive Power of Restriction and Priorities in CCS with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 242-256, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
105 | Roberto Gorrieri, Ugo Montanari |
Distributed Implementation of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 244-266, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics |
96 | Alberto Verdejo, Narciso Martí-Oliet |
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(1-2), pp. 113-172, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude |
85 | Jesú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](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 383-398, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
78 | Anthony-Trung Nguyen, Josep Torrellas |
Design Trade-Offs in High-Throughput Coherence Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA, pp. 194-205, 2003, IEEE Computer Society, 0-7695-2021-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
76 | Mario R. F. Benevides, Luis Menasché Schechter |
A Propositional Dynamic Logic for CCS Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 83-97, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
76 | Milica 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](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 270-279, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
70 | Bard Bloom, Sorin Istrail, Albert R. Meyer |
Bisimulation Can't be Traced. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 232-268, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
process algebra, bisimulation, CCS, CCS, structural operational semantics |
69 | Bent Thomsen |
A Calculus of Higher Order Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 143-154, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CCS |
66 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings, pp. 178-190, 2007, Springer, 978-3-540-73813-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
66 | Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 |
Impossibility Results for the Equational Theory of Timed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 80-95, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Axel Keller, Alexander Reinefeld |
CCS Resource Management in Networked HPC Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: Seventh Heterogeneous Computing Workshop, HCW 1998, Orlando, Florida, USA, March 30, 1998, pp. 44-56, 1998, IEEE Computer Society, 0-8186-8365-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
heterogeneous system integration, resource management, metacomputing |
58 | Hsin-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](Pics/bibsonomy.png) |
BioSurveillance ![In: Intelligence and Security Informatics: Biosurveillance, Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings., pp. 11-22, 2007, Springer, 978-3-540-72607-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multilingual chief complaint classification, Chinese chief complaints, mutual information, UMLS, syndromic surveillance, medical ontology |
58 | Colin Stirling |
Temporal logics for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 660-672, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Key-words transition systems, temporal logic, modal logic, CCS |
56 | Li Bao, Weishi Zhang, Xiuguo Zhang |
Describing and Verifying Web Service by CCS on a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1571-1576, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Monica Nesi |
Value-Passing CCS in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 352-365, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
56 | Nicoletta De Francesco, Paola Inverardi |
A Semantic Driven Method to Check the Finiteness of CCS Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 266-276, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
56 | Juanito Camilleri |
A Conditional Operator for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 142-156, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
56 | Ursula Goltz |
CCS and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 334-357, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
51 | Tamara Sumner, CCS Team |
Customizing science instruction with educational digital libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: Proceedings of the 2010 Joint International Conference on Digital Libraries, JCDL 2010, Gold Coast, Queensland, Australia, June 21-25, 2010, pp. 353-356, 2010, ACM, 978-1-4503-0085-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
differentiated instruction, software infrastructure for teachers, personalization, educational digital libraries, science education, customizing instruction |
50 | Gabriel Ciobanu, Dorel Lucanu |
Specification and Verification of Synchronizing Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 307-327, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification |
50 | Alessandro Giacalone, Scott A. Smolka |
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 787-802, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
48 | Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann |
Modeling and Model Checking Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 113-131, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Francesc Giné, Francesc Solsona, Mauricio Hanzich, Porfidio Hernández, Emilio Luque |
Cooperating CoScheduling: A Coscheduling Proposal Aimed at Non-Dedicated Heterogeneous NOWs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(5), pp. 695-710, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
non-dedicated and heterogeneous NOW computing, resource allocation, job scheduling |
48 | Wilfred Ng |
Prioritized Preferences and Choice Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 261-276, 2007, Springer, 978-3-540-75562-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Bavani Arunasalam, Sanjay Chawla |
CCCS: a top-down associative classifier for imbalanced class distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 517-522, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parameter-free mining, classification, association rules mining, imbalanced data sets |
48 | Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu |
Efficient Data Compression Methods for Multi-Dimensional Sparse Array Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 1st International Symposium on Cyber Worlds (CW 2002), 6-8 November 2002, Tokyo, Japan, pp. 62-69, 2002, IEEE Computer Society, 0-7695-1862-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Data compression scheme, Sparse array operation, Multi-dimensional sparse array, Karnaugh Map |
48 | Ernst 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](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(2), pp. 107-118, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
comparative simulation, Discrete-event simulation, parallel simulation, concurrent simulation |
48 | Gian-Luigi Ferrari 0002 |
On Causality Observed Incrementally, Finally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 26-41, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
48 | Luca 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](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 6:1-6:26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
communication merge, finite equational base, left merge, concurrency, process algebra, CCS, parallel composition, handshaking, Bisimilarity |
48 | Li Zhao, Qing Li 0001, Xiaoli Liu, Nanshan Du |
A modeling method based on CCS for workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2009, Suwon, Korea, January 15-16, 2009, pp. 376-384, 2009, ACM, 978-1-60558-405-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model, workflow, graphical, CCS |
48 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Reduced Models for Efficient CCS Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 26(3), pp. 319-350, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, CCS, state explosion problem |
47 | Li Bao, Weishi Zhang, Xiuguo Zhang |
Describing and Verifying Web Service Using CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2006), 4-7 December 2006, Taipei, Taiwan, pp. 421-426, 2006, IEEE Computer Society, 0-7695-2736-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Davide Sangiorgi |
Types, or: Where's the Difference Between CCS and pi? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 76-97, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Iain Phillips 0001 |
CCS with Priority Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 305-320, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Wang Yi 0001 |
CCS + Time = An Interleaving Model for Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 217-228, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
47 | Ugo Montanari, Vladimiro Sassone |
CCS Dynamic Bisimulation is Progressing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 346-356, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
47 | Padmanabhan Krishnan |
Distributed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 393-407, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
47 | Ursula Goltz |
On Representing CCS Programs by Finite Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 339-350, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
47 | Ursula Goltz, Alan Mycroft |
On the Relationship of CCS and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, pp. 196-208, 1984, Springer, 3-540-13345-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
47 | Stephen D. Brookes |
On the Relationship of CCS and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings, pp. 83-96, 1983, Springer, 3-540-12317-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
46 | Fan Zhang 0009, Patrick McCorry |
DeFi '22: ACM CCS Workshop on Decentralized Finance and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 3559-3560, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Sebastian Köhler 0005, Richard Baker 0008, Martin Strohmeier, Ivan Martinovic |
Demo: End-to-End Wireless Disruption of CCS EV Charging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 3515-3517, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Mark Yampolskiy, Moti Yung |
AMSec'22: ACM CCS Workshop on Additive Manufacturing (3D Printing) Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 3557-3558, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
46 | Taesoo Kim, Zhiqiang Lin, Chia-che Tsai |
CCS'17 Tutorial Abstract / SGX Security and Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pp. 2613-2614, 2017, ACM, 978-1-4503-4946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
46 | Danfeng (Daphne) Yao, Elisa Bertino |
CCS 2017: Women in Cyber Security (CyberW) Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pp. 2631-2632, 2017, ACM, 978-1-4503-4946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
46 | Adrienne Porter Felt, N. Asokan |
CCS'13 co-located workshop summary for SPSM 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013, pp. 1489-1490, 2013, ACM, 978-1-4503-2477-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
46 | William Enck, Xuxian Jiang |
CCS'12 co-located workshop summary for SPSM 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012, pp. 1062-1063, 2012, ACM, 978-1-4503-1651-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
45 | Ilsun 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](Pics/bibsonomy.png) |
MIST@CCS ![ACM, 978-1-4503-4571-2 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
45 | Tabish Rashid, Ioannis Agrafiotis, Jason R. C. Nurse |
A New Take on Detecting Insider Threats: Exploring the Use of Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 47-56, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Fulvio Valenza, Marco Vallini, Antonio Lioy |
Online and Offline Security Policy Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 101-104, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Kyungroul Lee, Hyeungjun Yeuk, Kangbin Yim, Suhyun Kim |
Analysis on Manipulation of the MAC Address and Consequent Security Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 113-117, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg |
WatchIT: Who Watches Your IT Guy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 93-96, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Peter Mell, James M. Shook, Serban I. Gavrila |
Restricting Insider Access Through Efficient Implementation of Multi-Policy Access Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 13-22, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Simon Parkin, Andrew Fielder, Alex Ashby |
Pragmatic Security: Modelling IT Security Management Responsibilities for SME Archetypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 69-80, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Yvo Desmedt, Arash Shaghaghi |
Function-Based Access Control (FBAC): From Access Control Matrix to Access Control Tensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 89-92, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Fei 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](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 81-87, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Markus Wurzenberger, Florian Skopik, Roman Fiedler, Wolfgang Kastner |
Discovering Insider Threats from Log Data with High-Performance Bioinformatics Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 109-112, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Ioannis Agrafiotis, Arnau Erola, Michael Goldsmith, Sadie Creese |
A Tripwire Grammar for Insider Threat Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 105-108, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Mohamed 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](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 97-100, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Florian Kammueller, Manfred Kerber, Christian W. Probst |
Towards Formal Analysis of Insider Threats for Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 23-34, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Stefan 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](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 57-68, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Wafa Ben Jaballah, Nizar Kheir |
A Grey-Box Approach for Detecting Malicious User Interactions in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 1-12, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
45 | Ryan V. Johnson, Jessie Lass, W. Michael Petullo |
Studying Naive Users and the Insider Threat with SimpleFlow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIST@CCS ![In: Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, MIST@CCS 2016, Vienna, Austria, October 28, 2016, pp. 35-46, 2016, ACM, 978-1-4503-4571-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
39 | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |
Modeling and analysis of complex computer systems-the MTCCS approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 423-, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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 |
39 | Jirí Jaros, Vaclav Dvorak |
Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1171-1178, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fat topologies, spidergon, collective communications, wormhole switching, evolutionary design, communication scheduling |
39 | Pei-Yun Tsai, Duen-Ren Liu |
Personalized Popular Blog Recommender Service for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings, pp. 2-13, 2009, Springer, 978-3-642-03963-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Time-Sensitive Topic, Recommender System, Blog, Mobile Service |
39 | Piotr Matyasik, Marcin Szpyrka |
Formal Modelling and Verification of Concurrent Systems with XCCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 454-458, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta |
Constructing Camin-Sokal Phylogenies Via Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 452-466, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Camin-Sokal, answer set programming, phylogeny, maximum parsimony |
39 | Xavier Llorà, Kumara Sastry, David E. Goldberg |
The compact classifier system: scalability analysis and first results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 596-603, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro 0001 |
Modeling and Property Verification of Lactose Operon Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BSB ![In: Advances in Bioinformatics and Computational Biology, Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings, pp. 95-106, 2005, Springer, 3-540-28008-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Ashish Popli |
ACM Computer and Communication Security Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 2(2), pp. 46-47, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 226-240, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Chun-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](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(12), pp. 1640-1646, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Data compression scheme, sparse array operation, multidimensional sparse array, sparse ratio, Karnaugh map |
39 | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
Replication vs. Recursive Definitions in Channel Based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 133-144, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Pfarr, James E. Reis |
The Integration of COTS/GOTS within NASA's HST Command and Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings, pp. 209-221, 2002, Springer, 3-540-43100-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Nicoletta De Francesco, Antonella Santone |
A Transformation System for Concurrent Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 35(12), pp. 1037-1073, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Ilaria Castellani |
Observing Distribution in Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 321-331, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
39 | Gian-Luigi Ferrari 0002, Ugo Montanari |
Towards the Unification of Models for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 162-176, 1990, Springer, 3-540-52590-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr. |
IDEOSY: An Ideographic and Interactive Program Description System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 15-20, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
UNIX |
38 | Philippe Golle |
Machine learning attacks against the Asirra CAPTCHA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 535-542, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reverse turing test, machine learning, support vector machine, classifier, captcha |
38 | Benoît Libert, Damien Vergnaud |
Multi-use unidirectional proxy re-signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 511-520, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-use proxy re-cryptography, unidirectionality, digital signatures |
37 | Hanne Riis Nielson, Flemming Nielson |
Data Flow Analysis for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 311-327, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Jifeng He 0001, C. A. R. Hoare |
CSP Is a Retract of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 38-62, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Luiz Gustavo Lopes, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner |
Odyssey-CCS: A Change Control System Tailored to Software Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings, pp. 170-183, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Fabio Martinelli |
Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 519-531, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Ashvin Dsouza, Bard Bloom |
On the Expressive Power of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 309-323, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
37 | Madhavan Mukund, Mogens Nielsen |
CCS, Location and Asynchronous Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 328-341, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Rocco De Nicola, Paola Inverardi, Monica Nesi |
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 54-67, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
37 | Colin Stirling, David Walker 0002 |
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 166-178, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
37 | Gérard Boudol, Ilaria Castellani |
Permutation of transitions: An event structure semantics for CCS and SCCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 411-427, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
pomset-labelled transition systems, process algebras, event structures |
37 | Stefania Gnesi, Paola Inverardi, Monica Nesi |
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 181-196, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
37 | Rocco De Nicola, Matthew Hennessy |
CCS without tau's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 138-152, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
37 | Colin Stirling |
A Complete Compositional Model Proof System for a Subset of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 475-486, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
37 | Susanne Graf, Joseph Sifakis |
A Modal Characterization of Observational Congruence on Finite Terms of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, pp. 222-234, 1984, Springer, 3-540-13345-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Rob 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](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 52(2-3), pp. 175-205, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Rob 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.05964, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
35 | Ang 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](Pics/bibsonomy.png) |
Int. J. Appl. Logist. ![In: Int. J. Appl. Logist. 3(3), pp. 15-21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Roberto M. Amadio |
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 3-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Roberto M. Amadio |
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.0936, 2008. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|