Lecture NTNU

“Becoming textual: attempting to model ‘XCHAN’ with CSPm”
“Using FDR2 and ProBE tools when state-ing is not enough”
This page is in group Technology.

By Øyvind Teig, Autronica Fire and Security. Original 15April2013, updated August2013

Delivered as exam lecture for “TK8112 – The Theory of Concurrency in Real-Time Systems

Teig at NTNU 15 April 2013

All original lecture material: http://www.teigfam.net/oyvind/blog_notes/063/063-Teig-NTNU.zip.
It’s not completely open, you need to unzip it with this pw: teig_4_2013 since it’s not a blog note as such. However…

..in August 2013 the two “Modeling XCHAN” pages were updated to reflect the Epilogue (below). I then decided to make the pdf open. Read at http://www.teigfam.net/oyvind/blog_notes/063/Teig_at_NTNU_2013_08.pdf

This blog note was also made during my study: FDR2 notes

Epilogue :-:

August 2013

  • After the CPA-2012 paper “XCHANs: Notes on a New Channel Type” (here), I did another paper on a new idea, presented at CPA-2013: “Selective choice ‘feathering’ with XCHANs” (here)
  • At the fringe at CPA-2013 this was presented:
    An occam Model of XCHANs
    Peter H. WELCH (a) and Øyvind TEIG (b)
    (a) School of Computing, University of Kent, UK
    (b) Autronica Fire and Security AS, Trondheim, Norway
    See here
Email this to someoneShare on FacebookTweet about this on TwitterShare on LinkedIn

Leave a Reply

Your email address will not be published. Required fields are marked *

*

* Copy This Password *

* Type Or Paste Password Here *

9,242 Spam Comments Blocked so far by Spam Free Wordpress

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>