Back to Search Start Over

Symbolic Methods for Bisimulation Checking for Value-Passing Processes

Authors :
Ingolfsdottir, Anna
Lin, H.
Bergstra, J. : Ponse, A. : Smolka, S. (eds.), null
Source :
Ingolfsdottir, A & Lin, H 2001, Symbolic Methods for Bisimulation Checking for Value-Passing Processes . in Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.), Handbook of Process Algebra . Pergamon Press, Amsterdam .
Publication Year :
2001
Publisher :
Pergamon Press, 2001.

Details

Language :
English
Database :
OpenAIRE
Journal :
Ingolfsdottir, A & Lin, H 2001, Symbolic Methods for Bisimulation Checking for Value-Passing Processes . in Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.), Handbook of Process Algebra . Pergamon Press, Amsterdam .
Accession number :
edsair.dedup.wf.001..bef3c3d9edd32c5625b70fca90246e8c

Tools

Authors Abstract Subjects Details