BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (5)
finit (4)
congruenc (3)
semant (3)
model (3)

Stem ccs$ (all stems)

21 papers:

FoSSaCSFoSSaCS-2009-ArandaVV #on the #power of #replication #strict
On the Expressive Power of Restriction and Priorities in CCS with Replication (JA, FDV, CV), pp. 242–256.
FoSSaCSFoSSaCS-2007-HirschkoffP #congruence #π-calculus
A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
ICALPICALP-v2-2006-AcetoFIL #communication #equation #finite
A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.
WRLAWRLA-2004-CiobanuL05 #communication #concurrent
Communicating Concurrent Objects in HiddenCCS (GC, DL), pp. 353–373.
WRLAWRLA-2002-VerdejoM #implementation #maude
Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.
IFMIFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.
ASEASE-1998-MonroyBG #equation #verification
Planning Equational Verification in CCS (RM, AB, IG), pp. 43–52.
WRLAWRLA-1998-CarabettaDG #logic #semantics
CCS semantics via proved transition systems and rewriting logic (GC, PD, FG), pp. 369–387.
WRLARWLW-1996-GadducciM
Tiles, rewriting rules and CCS (FG, UM), pp. 1–19.
ISSTAISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification
Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
DACDAC-1995-Albrecht #concurrent #configuration management #design #simulation
Concurrent Design Methodology and Configuration Management of the SIEMENS EWSD — CCS7E Processor System Simulation (TWA), pp. 222–227.
ICALPICALP-1991-Yi #realtime
CCS + Time = An Interleaving Model for Real Time Systems (WY0), pp. 217–228.
CAVCAV-1991-EndersFT #generative #model checking
Generating BDDs for Symbolic Model Checking in CCS (RE, TF, DT), pp. 203–213.
CAVCAV-1991-FrancescoI #process #semantics
A Semantic Driven Method to Check the Finiteness of CCS Processes (NDF, PI), pp. 266–276.
LICSLICS-1991-CamilleriW
CCS with Priority Choice (JC, GW), pp. 246–255.
LICSLICS-1990-Moller #axiom #finite
The Nonexistence of Finite Axiomatisations for CCS Congruences (FM), pp. 142–153.
ICALPICALP-1985-Stirling #composition #proving #set
A Complete Compositional Model Proof System for a Subset of CCS (CS), pp. 475–486.
ICALPICALP-1984-GoltzM #on the #petri net
On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.
ICALPICALP-1984-GrafS #congruence #finite
A Modal Characterization of Observational Congruence on Finite Terms of CCS (SG, JS), pp. 222–234.
ICALPICALP-1983-Brookes #csp #on the
On the Relationship of CCS and CSP (SDB), pp. 83–96.
ICALPICALP-1982-Winskel #semantics
Event Structure Semantics for CCS and Related Languages (GW), pp. 561–576.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.