Library big_json

Library defining a codec to encode and decode bigraphical structures such as bigraphs and bigraphical rules to the JSON data format. It consists of

• a JSON interface to the matching engine of the Bigraph library, and
• big_match, a simple command-line tool exposing this interface.

Module Big_json is the main entry point of the library.

References

• T. Bray Ed. The JavaScript Object Notation (JSON) Data Interchange Format, 2014
• M. Sevegnani and M. Calder Bigraphs with sharing, Theoretical Computer Science, Volume 577, pp 43-73, Elsevier, 2015

author

Michele Sevegnani