Paper on categorical models of temporal logic and FRP published

My MFPS ’12 paper Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming has just been officially published by Elsevier.

Here is my personal BibTeX entry for the paper:

@article{jeltsch:entcs-286,
    author       = {Jeltsch, Wolfgang},
    title        = {Towards a Common Categorical Semantics for
                    Linear-Time Temporal Logic and Functional
                    Reactive Programming},
    journal      = {Electronic Notes in Theoretical Computer
                    Science},
    volume       = 286,
    pages        = {229--242},
    numpages     = 14,
    publisher    = {Elsevier},
    address      = {Amsterdam, The Netherlands},
    month        = sep,
    year         = 2012,
    issn         = {1571-0661},
    doi          = {10.1016/j.entcs.2012.08.015}
}
Advertisements

One thought on “Paper on categorical models of temporal logic and FRP published

  1. Pingback: New paper about a generalization of FRP and causality in categorical models « Wolfgang Jeltsch

When replying to another comment, please press that comment’s “Reply” button.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s