BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:
M.Sevegnani P.Saffrey A.Miller S.Maharaj C.Shankland
Talks about:
communic (2) process (2) bigraph (2) verif (2) wireless (1) structur (1) optimis (1) network (1) concurr (1) automat (1)

Person: Muffy Calder

DBLP DBLP: Calder:Muffy

Contributed to:

IFM 20122012
FASE 20042004
ASE 20022002
FME 20012001
CAV (2) 20162016

Wrote 5 papers:

IFM-2012-CalderS #algebra #case study #network #process #runtime #verification
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
FASE-2004-SaffreyC #communication #model checking #optimisation
Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.
ASE-2002-CalderM #automation #communication #concurrent #process #verification
Automatic Verification of any Number of Concurrent, Communicating Processes (MC, AM), pp. 227–230.
FME-2001-CalderMS #logic
An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
CAV-2016-SevegnaniC #analysis #graph #named
BigraphER: Rewriting and Analysis Engine for Bigraphs (MS, MC), pp. 494–501.

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.