Local and symbolic bisimulation using tabled constraint logic programming

Local and symbolic bisimulation using tabled constraint logic programming (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Samik Basu , Madhavan Mukund , Rakesh Verma

Venue:	In International Workshop on Tabulation in Parsing and Deduction (TAPD
Citations:	14 - 4 self

BibTeX

@INPROCEEDINGS{Basu01localand,
    author = {Samik Basu and Madhavan Mukund and Rakesh Verma},
    title = {Local and symbolic bisimulation using tabled constraint logic programming},
    booktitle = {In International Workshop on Tabulation in Parsing and Deduction (TAPD},
    year = {2001},
    pages = {166--180},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

3 1

Citations

2970	Communication and Concurrency - Milner - 1989
146	Symbolic bisimulations - Hennessy, Lin - 1992
110	Efficient Model Checking Using Tabled Resolution - Ramakrishna, Ramakrishnan, et al.
26	Three partition re algorithms - Paige, Tarjan - 1987
24	Symbolic transition graph with assignment - Lin - 1119
9	CCS expressions, state processes, and three problems of equivalence - Kanellakis, Smolka - 1990
6	Cheking strong/weak bisimulation equivalences and observation congruence for the -calculus - Li, Chen
1	XMC: A logic-programming-based veri toolset - Ramakrishnan, Ramakrishnan, et al. - 2000