Magnus Johansson

According to our database, Magnus Johansson authored at least 8 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Computing strong and weak bisimulations for psi-calculi.

Magnus Johansson, Björn Victor, Joachim Parrow

J. Log. Algebraic Methods Program., 2012

2011

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Log. Methods Comput. Sci., 2011

Broadcast Psi-calculi with an Application to Wireless Protocols.

Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic.

Magnus Johansson

PhD thesis, 2010

Weak Equivalences in Psi-Calculi.

Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

A Fully Abstract Symbolic Semantics for Psi-Calculi

Magnus Johansson, Björn Victor, Joachim Parrow

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Psi-calculi: Mobile Processes, Nominal Data, and Logic.

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Extended pi-Calculi.

Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008