@article{Maludziński_Dobrowolski_2014, title={Model checking processes specified in join-calculus algebra}, volume={15}, url={https://journals.agh.edu.pl/csci/article/view/287}, DOI={10.7494/csci.2014.15.1.61}, abstractNote={This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra with its operational semantics defined by the chemical abstract machine serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, and allows the examination of more complex systems.}, number={1}, journal={Computer Science}, author={Maludziński, Sławomir Piotr and Dobrowolski, Grzegorz}, year={2014}, month={Feb.}, pages={61} }