12 citations
- City, University of LondonGB5 papers
- SRI InternationalUS3 papers
- Kanagawa UniversityJP2 papers
- Nagoya UniversityJP2 papers
- City St George's, University of LondonGB1 paper
- Honeywell (United States)US1 paper
- Imperial College LondonGB1 paper
- Menlo SchoolUS1 paper
- The University of Texas at DallasUS1 paper
- Universidad Rey Juan CarlosES1 paper
- University of North Texas at DallasUS1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 6 cited
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, Joaquín Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…
cs.LO2014★ 6 cited
A fully-abstract semantics of lambda-mu in the pi-calculus
Steffen van Bakel, Maria Grazia Vigliotti
We study the lambda-mu-calculus, extended with explicit substitution, and define a compositional output-based interpretation into a variant of the pi-calculus with pairing that pre…